From 7e0910860457e33d44f99b95804574c7c5945c6f Mon Sep 17 00:00:00 2001
From: "Matthias P. Braendli" <matthias.braendli@mpb.li>
Date: Fri, 20 Apr 2018 12:31:42 +0200
Subject: Make DPDFeedback quit quickly

---
 src/output/Feedback.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/output/Feedback.cpp b/src/output/Feedback.cpp
index f9c1af1..17e45bf 100644
--- a/src/output/Feedback.cpp
+++ b/src/output/Feedback.cpp
@@ -348,7 +348,9 @@ void DPDFeedbackServer::ServeFeedbackThread()
             etiLog.level(error) << "DPD Feedback Server unknown exception!";
         }
 
-        this_thread::sleep_for(chrono::seconds(5));
+        if (m_running) {
+            this_thread::sleep_for(chrono::seconds(5));
+        }
     }
 
     m_running.store(false);
-- 
cgit v1.2.3