diff options
| -rw-r--r-- | src/pluto/plutomain.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pluto/plutomain.c b/src/pluto/plutomain.c index 6ab1bfe8a..aa04594bc 100644 --- a/src/pluto/plutomain.c +++ b/src/pluto/plutomain.c @@ -781,6 +781,7 @@ void exit_pluto(int status) free_builder(); delete_lock(); options->destroy(options); + lib->plugins->unload(lib->plugins); libhydra_deinit(); library_deinit(); close_log(); |