diff options
Diffstat (limited to 'src/openocd.c')
-rw-r--r-- | src/openocd.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/openocd.c b/src/openocd.c index 53ff4548..b078958e 100644 --- a/src/openocd.c +++ b/src/openocd.c @@ -18,7 +18,7 @@ * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. * ***************************************************************************/ -#define OPENOCD_VERSION "Open On-Chip Debugger (2006-07-30 13:30 CEST)" +#define OPENOCD_VERSION "Open On-Chip Debugger (2006-08-01 12:00 CEST)" #ifdef HAVE_CONFIG_H #include "config.h" @@ -115,6 +115,9 @@ int main(int argc, char *argv[]) /* handle network connections */ server_loop(cmd_ctx); + /* shut server down */ + server_quit(); + /* free commandline interface */ command_done(cmd_ctx); |