Track online status in FileDB

2019-07-15 15:27:53 -05:00
parent d3728d5859
commit bdc2ec1f5e
3 changed files with 87 additions and 22 deletions
--- a/controller/DB.hpp
+++ b/controller/DB.hpp
@@ -40,6 +40,7 @@
 #include <unordered_set>
 #include <vector>
 #include <atomic>
+#include <mutex>

 #include "../ext/json/json.hpp"