Patch previous commit

That merge didn't go smoothly.

diff --git a/src/thread/thread_pool.c b/src/thread/thread_pool.c
index c2ecc6e5f89b5a69aa59a7cf33017e31519cf0bb..e3c04380f025b04a337171a2dd48ec1328a873aa 100644 (file)
--- a/src/thread/thread_pool.c
+++ b/src/thread/thread_pool.c
@@ -102,7 +102,8 @@ wait_for_parent_signal(struct thread_pool *pool, unsigned int thread_id)
 static void
 signal_to_parent(struct thread_pool *pool)
 {
-       panic_on_fail(pthread_cond_signal(&pool->worker2parent));
+       panic_on_fail(pthread_cond_signal(&pool->worker2parent),
+           "pthread_cond_signal");
 }
 
 static void
@@ -115,7 +116,8 @@ wait_for_worker_signal(struct thread_pool *pool)
 static void
 signal_to_worker(struct thread_pool *pool)
 {
-       panic_on_fail(pthread_cond_signal(&pool->parent2worker));
+       panic_on_fail(pthread_cond_signal(&pool->parent2worker),
+           "pthread_cond_signal");
 }
 
 static int