1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/database/Database/DatabaseWorkerPool.h b/src/server/database/Database/DatabaseWorkerPool.h
index fc8391b8f8d..7cc5dfb63a0 100644
--- a/src/server/database/Database/DatabaseWorkerPool.h
+++ b/src/server/database/Database/DatabaseWorkerPool.h
@@ -484,7 +484,7 @@ class DatabaseWorkerPool
                 else if (type == IDX_SYNCH)
                     t = new T(*_connectionInfo);
                 else
-                    ASSERT(false);
+                    ABORT();
 
                 _connections[type][i] = t;
                 ++_connectionCount[type];