diff options
| -rw-r--r-- | src/util/plugin.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/plugin.c b/src/util/plugin.c index ff203fd83e..4e0385a098 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; |