diff options
Diffstat (limited to 'server-tools/instance-manager/instance_map.cc')
-rw-r--r-- | server-tools/instance-manager/instance_map.cc | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/server-tools/instance-manager/instance_map.cc b/server-tools/instance-manager/instance_map.cc index 802f085aaed..69eadd7e765 100644 --- a/server-tools/instance-manager/instance_map.cc +++ b/server-tools/instance-manager/instance_map.cc @@ -137,25 +137,15 @@ Instance_map::~Instance_map() } -int Instance_map::lock() +void Instance_map::lock() { -#ifdef __WIN__ pthread_mutex_lock(&LOCK_instance_map); - return 0; -#else - return pthread_mutex_lock(&LOCK_instance_map); -#endif } -int Instance_map::unlock() +void Instance_map::unlock() { -#ifdef __WIN__ pthread_mutex_unlock(&LOCK_instance_map); - return 0; -#else - return pthread_mutex_unlock(&LOCK_instance_map); -#endif } |