diff options
Diffstat (limited to 'server-tools')
| -rw-r--r-- | server-tools/instance-manager/thread_registry.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/server-tools/instance-manager/thread_registry.cc b/server-tools/instance-manager/thread_registry.cc index b06c1240d92..700ed22afe7 100644 --- a/server-tools/instance-manager/thread_registry.cc +++ b/server-tools/instance-manager/thread_registry.cc @@ -67,8 +67,7 @@ Thread_registry::~Thread_registry() if (head.next != &head) log_error("Not all threads died properly\n"); /* All threads must unregister */ - // Disabled assert temporarily - BUG#28030 - // DBUG_ASSERT(head.next == &head); + DBUG_ASSERT(head.next == &head); pthread_mutex_unlock(&LOCK_thread_registry); pthread_cond_destroy(&COND_thread_registry_is_empty); |