]> git.sur5r.net Git - openocd/search
server: explicitly call "shutdown" when catch CTRL-C or a signal