diff options
Diffstat (limited to 'server-tools/instance-manager/priv.cc')
| -rw-r--r-- | server-tools/instance-manager/priv.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/server-tools/instance-manager/priv.cc b/server-tools/instance-manager/priv.cc index 4b47fe5b593..dd192370aaf 100644 --- a/server-tools/instance-manager/priv.cc +++ b/server-tools/instance-manager/priv.cc @@ -16,6 +16,15 @@ #include "priv.h" +/* the pid of the manager process (of the signal thread on the LinuxThreads) */ +pid_t manager_pid; + +/* + This flag is set if mysqlmanager has detected that it is running on the + system using LinuxThreads +*/ +bool linuxthreads; + /* The following string must be less then 80 characters, as mysql_connection.cc relies on it |