]> git.sur5r.net Git - openocd/search
openocd.c: call server_quit() for cmd line with -c shutdown