diff options
| author | wachs <wachs@140774ce-b5e7-0310-ab8b-a85725594a96> | 2012-12-10 12:13:54 +0000 |
|---|---|---|
| committer | wachs <wachs@140774ce-b5e7-0310-ab8b-a85725594a96> | 2012-12-10 12:13:54 +0000 |
| commit | 5ccd371c9d658316de4e2e58a2a19098bee64e17 (patch) | |
| tree | dc780ef68a22158e23e7918bbfecbd94f3defbad | |
| parent | 3b2fbdc57180741aad7cf9eee9b03c152d6ffa99 (diff) | |
mistake
git-svn-id: https://gnunet.org/svn/gnunet@25343 140774ce-b5e7-0310-ab8b-a85725594a96
| -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; |