diff options
Diffstat (limited to 'server-tools/instance-manager/thread_registry.cc')
| -rw-r--r-- | server-tools/instance-manager/thread_registry.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/server-tools/instance-manager/thread_registry.cc b/server-tools/instance-manager/thread_registry.cc index 700ed22afe7..72d81523022 100644 --- a/server-tools/instance-manager/thread_registry.cc +++ b/server-tools/instance-manager/thread_registry.cc @@ -64,8 +64,12 @@ Thread_registry::~Thread_registry() /* Check that no one uses the repository. */ pthread_mutex_lock(&LOCK_thread_registry); - if (head.next != &head) - log_error("Not all threads died properly\n"); + for (Thread_info *ti= head.next; ti != &head; ti= ti->next) + { + log_error("Thread_registry: unregistered thread: %lu.", + (unsigned long) ti->thread_id); + } + /* All threads must unregister */ DBUG_ASSERT(head.next == &head); |