diff options
Diffstat (limited to 'server-tools/instance-manager/instance.cc')
| -rw-r--r-- | server-tools/instance-manager/instance.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance.cc b/server-tools/instance-manager/instance.cc index 0ebd5802af9..dee3c2d4e38 100644 --- a/server-tools/instance-manager/instance.cc +++ b/server-tools/instance-manager/instance.cc @@ -27,7 +27,7 @@ #include "log.h" #include "instance_map.h" #include "priv.h" -#include "port.h" +#include "portability.h" #ifndef __WIN__ #include <sys/wait.h> #endif |