From 42dcc63dba10ae9cd9801bbbb1b2f58756e6ecd4 Mon Sep 17 00:00:00 2001
From: Matthias Wachs <wachs@net.in.tum.de>
Date: Mon, 10 Dec 2012 12:13:54 +0000
Subject: [PATCH] mistake

---
 src/util/plugin.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/plugin.c b/src/util/plugin.c
index ff203fd83..4e0385a09 100644
--- a/src/util/plugin.c
+++ b/src/util/plugin.c
@@ -272,12 +272,12 @@ GNUNET_PLUGIN_unload (const char *library_name, void *arg)
     plugins = pos->next;
   else
     prev->next = pos->next;
-  /* lt_dlclose (pos->handle); */
+  lt_dlclose (pos->handle);
   GNUNET_free (pos->name);
   GNUNET_free (pos);
   if (plugins == NULL)
   {
-    //plugin_fini ();
+    plugin_fini ();
     initialized = GNUNET_NO;
   }
   return ret;
-- 
2.25.1