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& 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& parameters_type, const std::string& output_file, uint64_t n_frames=0); + virtual ~WriterManager(); + void stop(); void kill(); bool is_running();