# HG changeset patch # User mf0102 <0102@gmx.at> # Date 1215602297 -7200 # Node ID 30b1a9a6b768fe931f3e0bce995c9630f1a3bddd # Parent b7d8e6fd4644e65e8bf4005f5f7ce6595fb40c35 fix bug in cleaning up diff -r b7d8e6fd4644 -r 30b1a9a6b768 src/streambrowser/streambrowser.c --- a/src/streambrowser/streambrowser.c Tue Jul 08 15:37:33 2008 +0200 +++ b/src/streambrowser/streambrowser.c Wed Jul 09 13:18:17 2008 +0200 @@ -37,9 +37,9 @@ static GtkWidget* playlist_menu_item; static GtkWidget* main_menu_item; -static GQueue* update_thread_data_queue; +static GQueue* update_thread_data_queue = NULL; static gint update_thread_count = 0; -static GMutex* update_thread_mutex; +static GMutex* update_thread_mutex = NULL; streambrowser_cfg_t streambrowser_cfg; @@ -191,10 +191,14 @@ streambrowser_win_done(); /* others */ - g_mutex_free(update_thread_mutex); - g_queue_free(update_thread_data_queue); + if (update_thread_mutex) + g_mutex_free(update_thread_mutex); + update_thread_mutex = NULL; + if (update_thread_data_queue) + g_queue_free(update_thread_data_queue); + update_thread_data_queue = NULL; - debug("gui destroied\n"); + debug("gui destroyed\n"); } static void config_load()