openocd.c: call server_quit() for cmd line with -c shutdown 09/4409/2
authorTomas Vanek <vanekt@fbl.cz>
Wed, 14 Feb 2018 21:53:14 +0000 (22:53 +0100)
committerTomas Vanek <vanekt@fbl.cz>
Thu, 15 Mar 2018 17:08:34 +0000 (17:08 +0000)
commitae5b30ae960b35187751e9d837d5dc42745d2376
tree2d90871af7e4fdc329f94a9e29049cbe3025f930
parenta0b76360b874607f2aa075e764891f129b5ff0f9
openocd.c: call server_quit() for cmd line with -c shutdown

If OpenOCD command line contains -c shutdown, server_quit() is not called.
Though if -c init is also on command line, gdb_server is already initialized.

Call server_quit() on both successful and failure exit from command line.

Change-Id: I6df41c5df045b61d84a5515d1abaa5dc96bc30ac
Signed-off-by: Tomas Vanek <vanekt@fbl.cz>
Reviewed-on: http://openocd.zylin.com/4409
Tested-by: jenkins
src/openocd.c