From 9eabebac158d25d73389ed2dc4c496b51803c26b Mon Sep 17 00:00:00 2001
From: Andrej Babic <andrej.babic@psi.ch>
Date: Thu, 8 Feb 2018 10:54:53 +0100
Subject: [PATCH] Virtual destructor for WriterManager

---
 src/WriterManager.cpp | 2 ++
 src/WriterManager.hpp | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/WriterManager.cpp b/src/WriterManager.cpp
index 89829d2..ea0e02c 100644
--- a/src/WriterManager.cpp
+++ b/src/WriterManager.cpp
@@ -14,6 +14,8 @@ WriterManager::WriterManager(const map<string, DATA_TYPE>& parameters_type, cons
     #endif
 }
 
+WriterManager::~WriterManager(){}
+
 void WriterManager::stop()
 {
     #ifdef DEBUG_OUTPUT
diff --git a/src/WriterManager.hpp b/src/WriterManager.hpp
index efb635f..f2b3c6a 100644
--- a/src/WriterManager.hpp
+++ b/src/WriterManager.hpp
@@ -27,6 +27,8 @@ class WriterManager
 
     public:
         WriterManager(const std::map<std::string, DATA_TYPE>& parameters_type, const std::string& output_file, uint64_t n_frames=0);
+        virtual ~WriterManager();
+
         void stop();
         void kill();
         bool is_running();