diff options
Diffstat (limited to 'server-tools/instance-manager/manager.cc')
| -rw-r--r-- | server-tools/instance-manager/manager.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/server-tools/instance-manager/manager.cc b/server-tools/instance-manager/manager.cc index 06e181d52d5..20f3c00762e 100644 --- a/server-tools/instance-manager/manager.cc +++ b/server-tools/instance-manager/manager.cc @@ -18,6 +18,8 @@ #include <my_global.h> #include <signal.h> +#include <sys/stat.h> +#include <sys/types.h> #include "thread_repository.h" #include "listener.h" |