From cd5b48f92d07facc4227cbe1485df63340d06df5 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 22 Dec 2014 12:12:28 +0000
Subject: -undo

---
 src/util/plugin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/util')

diff --git a/src/util/plugin.c b/src/util/plugin.c
index 40319c737..a1a8aa681 100644
--- a/src/util/plugin.c
+++ b/src/util/plugin.c
@@ -278,7 +278,7 @@ GNUNET_PLUGIN_unload (const char *library_name,
     plugins = pos->next;
   else
     prev->next = pos->next;
- //  lt_dlclose (pos->handle);
+  lt_dlclose (pos->handle);
   GNUNET_free (pos->name);
   GNUNET_free (pos);
   if (NULL == plugins)
-- 
cgit v1.2.3