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