diff options
| author | Christian Grothoff <christian@grothoff.org> | 2014-12-22 12:12:28 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2014-12-22 12:12:28 +0000 |
| commit | cd5b48f92d07facc4227cbe1485df63340d06df5 (patch) | |
| tree | b65e3d007d9306aa251d61dded406119057ef331 | |
| parent | 1032d765f4b8e009c04186a4c49d61a8eb414140 (diff) | |
-undo
| -rw-r--r-- | src/util/plugin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/plugin.c b/src/util/plugin.c index 40319c737e..a1a8aa681d 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) |