Use unique pointer for global device manager

Changed from raw pointer to a unique_ptr, also renamed from finder to device_manager
2020-06-24 22:27:19 -04:00
parent 5f76ccc4ac
commit 181be50f88
3 changed files with 8 additions and 8 deletions
@@ -26,7 +26,7 @@ namespace logid
    // void reload();

    extern bool kill_logid;
-    extern std::mutex finder_reloading;
+    extern std::mutex device_manager_reload;
 }

 #endif //LOGID_LOGID_H