diff options
| author | wachs <wachs@140774ce-b5e7-0310-ab8b-a85725594a96> | 2012-12-10 12:22:20 +0000 |
|---|---|---|
| committer | wachs <wachs@140774ce-b5e7-0310-ab8b-a85725594a96> | 2012-12-10 12:22:20 +0000 |
| commit | d5cc647b09ca19ec4b372e461df810c6c4878664 (patch) | |
| tree | 8e4b5d0addc39f83a5766587687a0f11f8273ebb | |
| parent | e9a715df3ab044a7cfbe84da1811255ed2cda6ee (diff) | |
one more time
git-svn-id: https://gnunet.org/svn/gnunet@25345 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 e15948b3c4..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; |