From 9ca0ac8c660a27a704a9a0acecb54f75a0090f26 Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Wed, 6 May 2020 14:06:47 +0200
Subject: [PATCH] Add missing finalize() call

---
 src/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.cpp b/src/main.cpp
index d6511325b..f6bec4d51 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -43,6 +43,7 @@ main(int argc, char* argv[])
       SynchronizerManager::create();
       parser(filename);
       SynchronizerManager::destroy();
+      finalize();
       return 0;
     }
 
-- 
GitLab