diff options
Diffstat (limited to 'server-tools/instance-manager/instance.h')
| -rw-r--r-- | server-tools/instance-manager/instance.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance.h b/server-tools/instance-manager/instance.h index cbcfee0c7ef..003cbca8cef 100644 --- a/server-tools/instance-manager/instance.h +++ b/server-tools/instance-manager/instance.h @@ -49,12 +49,12 @@ public: Instance_options options; private: + int crashed; /* Mutex protecting the instance. Currently we use it to avoid the double start of the instance. This happens when the instance is starting and we issue the start command once more. */ - int crashed; pthread_mutex_t LOCK_instance; /* This condition variable is used to wake threads waiting for instance to |