diff options
Diffstat (limited to 'server-tools/instance-manager/priv.cc')
| -rw-r--r-- | server-tools/instance-manager/priv.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/server-tools/instance-manager/priv.cc b/server-tools/instance-manager/priv.cc index 934684a1a06..08af904a311 100644 --- a/server-tools/instance-manager/priv.cc +++ b/server-tools/instance-manager/priv.cc @@ -22,14 +22,13 @@ #include "log.h" -/* the pid of the manager process (of the signal thread on the LinuxThreads) */ -pid_t manager_pid; - +#ifndef __WIN__ /* This flag is set if mysqlmanager has detected that it is running on the system using LinuxThreads */ bool linuxthreads; +#endif /* The following string must be less then 80 characters, as |