mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 19:11:46 +01:00
25 lines
460 B
C
25 lines
460 B
C
#ifndef INCLUDES_MYSQL_INSTANCE_MANAGER_PORTABILITY_H
|
|
#define INCLUDES_MYSQL_INSTANCE_MANAGER_PORTABILITY_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_PORTABILITY_H */
|
|
|
|
|