update

4 files changed, 11 insertions, 4 deletions

diff --git a/TODO b/TODO
index b1e4c32e..f1d864c7 100644
--- a/TODO
+++ b/TODO
@@ -3,11 +3,12 @@
 1) on_namespaceInsertButton_clicked somehow is
    NOT called when I click on the "Add"
    button in the FS-advanced window (very strange)
-1) update namespace content (not implemented)
-2) various minor memory leaks (see FIXME in search.c, 
+2) update namespace content (not implemented)
+3) various minor memory leaks (see FIXME in search.c, 
    #if 0 code in namespace.c)
 
 Later (0.7.1+):
+0) better file-name selection, in particular for downloads from directories
 1) create directory from known file IDs [ medium ]
 2) disable inactive buttons (if no search/download 
    is selected to operate on) [ medium ]
diff --git a/src/common/helper.c b/src/common/helper.c
index 8c30c777..08a0fe64 100644
--- a/src/common/helper.c
+++ b/src/common/helper.c
@@ -408,7 +408,7 @@ void initGNUnetGTKCommon() {
   connectGladeWithPlugins(statusXML);
 }
 
-void doneGNUnetGTKCommon() {
+void shutdownPlugins() {
   int i;
 
   /* unload the plugins */
@@ -444,6 +444,9 @@ void doneGNUnetGTKCommon() {
     i = pscCount;
     MUTEX_UNLOCK(&sclock);
   }
+}
+
+void doneGNUnetGTKCommon() {
   MUTEX_DESTROY(&sclock);
 }
 
diff --git a/src/core/main.c b/src/core/main.c
index ca9919a5..81724cce 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -90,7 +90,7 @@ static int parseOptions(int argc,
 
 static void * shutdownCode(void * unused) {
   stopCron();
-  doneGNUnetGTKCommon();
+  shutdownPlugins();
   return NULL;
 }
 
@@ -130,6 +130,7 @@ int main(int argc,
   setCustomLogProc(NULL);
   run_with_save_calls(&shutdownCode,
                       NULL);
+  doneGNUnetGTKCommon();
   doneUtil();
   
   return 0;
diff --git a/src/include/gnunetgtk_common.h b/src/include/gnunetgtk_common.h
index 50cdca3f..b5f24b8d 100644
--- a/src/include/gnunetgtk_common.h
+++ b/src/include/gnunetgtk_common.h
@@ -29,6 +29,8 @@
 
 void initGNUnetGTKCommon(void);
 
+void shutdownPlugins(void);
+
 void doneGNUnetGTKCommon(void);
 
 /**