diff options
Diffstat (limited to 'server-tools/instance-manager/port.h')
-rw-r--r-- | server-tools/instance-manager/port.h | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/server-tools/instance-manager/port.h b/server-tools/instance-manager/port.h new file mode 100644 index 00000000000..3b1c3e2ad93 --- /dev/null +++ b/server-tools/instance-manager/port.h @@ -0,0 +1,25 @@ +#ifndef INCLUDES_MYSQL_INSTANCE_MANAGER_PORT_H +#define INCLUDES_MYSQL_INSTANCE_MANAGER_PORT_H + +#ifdef __WIN__ + +#define vsnprintf _vsnprintf + +#define SIGKILL 9 +#define SHUT_RDWR 0x2 + +//TODO: fix this +#define DEFAULT_MONITORING_INTERVAL 20 +#define DEFAULT_PORT 2273 +#define PROTOCOL_VERSION 10 + +typedef int pid_t; + +#undef popen +#define popen(A,B) _popen(A,B) + +#endif /* __WIN__ */ + +#endif /* INCLUDES_MYSQL_INSTANCE_MANAGER_PORT_H */ + + |