diff --git a/src/server/shared/Database/DatabaseWorkerPool.h b/src/server/shared/Database/DatabaseWorkerPool.h index e95dfc1e484..5548e44c925 100644 --- a/src/server/shared/Database/DatabaseWorkerPool.h +++ b/src/server/shared/Database/DatabaseWorkerPool.h @@ -470,6 +470,8 @@ class DatabaseWorkerPool t = new T(_queue, *_connectionInfo); else if (type == IDX_SYNCH) t = new T(*_connectionInfo); + else + ASSERT(false); _connections[type][i] = t; ++_connectionCount[type];