diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/shared/Database/DatabaseWorkerPool.h | 2 |
1 files changed, 2 insertions, 0 deletions
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]; |