diff options
Diffstat (limited to 'src/plugins/c_plugins.c')
| -rw-r--r-- | src/plugins/c_plugins.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/plugins/c_plugins.c b/src/plugins/c_plugins.c index 688ba312..e6ec2b7d 100644 --- a/src/plugins/c_plugins.c +++ b/src/plugins/c_plugins.c @@ -44,6 +44,7 @@ #include "config/files.h" #include "plugins/api.h" #include "plugins/callbacks.h" +#include "plugins/disco.h" #include "plugins/plugins.h" #include "plugins/c_plugins.h" #include "plugins/c_api.h" @@ -541,6 +542,8 @@ c_plugin_destroy(ProfPlugin *plugin) callbacks_remove(plugin->name); + disco_remove_features(plugin->name); + if (dlclose (plugin->module)) { log_warning ("dlclose failed to close `%s' with `%s'", plugin->name, dlerror ()); } |