diff options
| -rw-r--r-- | server-tools/instance-manager/thread_registry.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/thread_registry.h b/server-tools/instance-manager/thread_registry.h index 0836f44345d..a25c692b77f 100644 --- a/server-tools/instance-manager/thread_registry.h +++ b/server-tools/instance-manager/thread_registry.h @@ -100,7 +100,7 @@ private: bool shutdown_in_progress; pthread_mutex_t LOCK_thread_registry; pthread_cond_t COND_thread_registry_is_empty; - pid_t sigwait_thread_pid; + pthread_t sigwait_thread_pid; }; |