diff options
author | Tomas Vanek <vanekt@fbl.cz> | 2018-02-14 22:53:14 +0100 |
---|---|---|
committer | Tomas Vanek <vanekt@fbl.cz> | 2018-03-15 17:08:34 +0000 |
commit | ae5b30ae960b35187751e9d837d5dc42745d2376 (patch) | |
tree | 2d90871af7e4fdc329f94a9e29049cbe3025f930 /.gitignore | |
parent | a0b76360b874607f2aa075e764891f129b5ff0f9 (diff) |
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
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions