1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 357b5847..6bc88fb1 100644
--- a/src/main.c
+++ b/src/main.c
@@ -446,6 +446,8 @@ main (int argc, char **argv)
     if (!disableSm)
 	closeSession ();
 
+    finiCore ();
+
     xmlCleanupParser ();
 
     if (restartSignal)