rendered paste bodyIndex: navit/debug.c===================================================================--- navit/debug.c (Revision 3040)+++ navit/debug.c (Arbeitskopie)@@ -221,3 +221,10 @@ fflush(debug_fp); } }++void debug_finished(void) {+ g_free(gdb_program);+ g_hash_table_destroy (debug_hash);+ debug_destroy();+}+Index: navit/debug.h===================================================================--- navit/debug.h (Revision 3040)+++ navit/debug.h (Arbeitskopie)@@ -44,6 +44,7 @@ void debug_vprintf(int level, const char *module, const int mlen, const char *function, const int flen, int prefix, const char *fmt, va_list ap); void debug_printf(int level, const char *module, const int mlen, const char *function, const int flen, int prefix, const char *fmt, ...); void debug_assert_fail(char *module, const int mlen,const char *function, const int flen, char *file, int line, char *expr);+void debug_finished(void); /* end of prototypes */ #ifdef __cplusplusIndex: navit/start_real.c===================================================================--- navit/start_real.c (Revision 3040)+++ navit/start_real.c (Arbeitskopie)@@ -177,5 +177,6 @@ } event_main_loop_run(); + debug_finished(); return 0; }Index: navit/event.c===================================================================--- navit/event.c (Revision 3040)+++ navit/event.c (Arbeitskopie)@@ -40,7 +40,6 @@ { if (event_methods.main_loop_quit) event_methods.main_loop_quit();- exit(0); } struct event_watch *