diff options
Diffstat (limited to 'server-tools/instance-manager/priv.h')
| -rw-r--r-- | server-tools/instance-manager/priv.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/server-tools/instance-manager/priv.h b/server-tools/instance-manager/priv.h index 7ac8ac73c6f..702769e0b07 100644 --- a/server-tools/instance-manager/priv.h +++ b/server-tools/instance-manager/priv.h @@ -50,9 +50,6 @@ const int MAX_VERSION_LENGTH= 160; const int MAX_INSTANCE_NAME_SIZE= FN_REFLEN; -/* the pid of the manager process (of the signal thread on the LinuxThreads) */ -extern pid_t manager_pid; - #ifndef __WIN__ /* This flag is set if mysqlmanager has detected that it is running on the |