diff options
Diffstat (limited to 'server-tools/instance-manager/priv.cc')
| -rw-r--r-- | server-tools/instance-manager/priv.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/server-tools/instance-manager/priv.cc b/server-tools/instance-manager/priv.cc index dd192370aaf..496992aa43b 100644 --- a/server-tools/instance-manager/priv.cc +++ b/server-tools/instance-manager/priv.cc @@ -14,7 +14,9 @@ along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ +#include <my_global.h> #include "priv.h" +#include "port.h" /* the pid of the manager process (of the signal thread on the LinuxThreads) */ pid_t manager_pid; |