core: Deinitialize GDB in avr_terminate()
[simavr] / simavr / sim / sim_gdb.c
index 5c7dd97..faa016f 100644 (file)
@@ -566,3 +566,12 @@ int avr_gdb_init(avr_t * avr)
        
        return 0;
 }
+
+void avr_deinit_gdb(avr_t * avr)
+{
+       if (avr->gdb->listen != -1)
+          close(avr->gdb->listen);
+       if (avr->gdb->s != -1)
+          close(avr->gdb->s);
+       free(avr->gdb);
+}