diff options
| author | Matthias Wachs <wachs@net.in.tum.de> | 2012-12-10 12:13:54 +0000 |
|---|---|---|
| committer | Matthias Wachs <wachs@net.in.tum.de> | 2012-12-10 12:13:54 +0000 |
| commit | 42dcc63dba10ae9cd9801bbbb1b2f58756e6ecd4 (patch) | |
| tree | dc780ef68a22158e23e7918bbfecbd94f3defbad /src/util/plugin.c | |
| parent | d398e8833ace1af1bb708b9010fe3c7976a2e135 (diff) | |
mistake
Diffstat (limited to 'src/util/plugin.c')
| -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; |