1 files changed, 4 insertions, 1 deletions

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);
 }