stop monitor on shutdown

arangod/RestServer/ArangoServer.cpp

@@ -826,6 +826,7 @@ void ArangoServer::buildApplicationServer() {
 }
 
 int ArangoServer::startupServer() {
+  InitializeWorkMonitor();
   TRI_InitializeStatistics();
 
   OperationMode::server_operation_mode_e mode =
@@ -1174,12 +1175,6 @@ int ArangoServer::startupServer() {
   }
 
 
-  // .............................................................................
-  // start the work monitor
-  // .............................................................................
-
-  InitializeWorkMonitor();
-
   // .............................................................................
   // start the main event loop
   // .............................................................................

lib/Basics/Common.h

@@ -204,6 +204,7 @@ static inline uint32_t TRI_64to32(uint64_t x) {
 
 #define FATAL_ERROR_EXIT(...)                 \
   do {                                        \
+    std::abort(); \
     std::string bt;                           \
     TRI_GetBacktrace(bt);                     \
     if (!bt.empty()) {                        \

lib/Basics/WorkMonitor.cpp

@@ -601,4 +601,7 @@ void arangodb::InitializeWorkMonitor() {
 /// @brief stops the work monitor
 ////////////////////////////////////////////////////////////////////////////////
 
-void arangodb::ShutdownWorkMonitor() { WORK_MONITOR.beginShutdown(); }
+void arangodb::ShutdownWorkMonitor() {
+  WORK_MONITOR_STOPPED.store(true);
+  WORK_MONITOR.beginShutdown();
+}