char *server_list;
char pid_file[SERVERS_TO_CREATE][FILENAME_MAX];
in_port_t port[SERVERS_TO_CREATE];
int pids[SERVERS_TO_CREATE];
char *server_list;
char pid_file[SERVERS_TO_CREATE][FILENAME_MAX];
in_port_t port[SERVERS_TO_CREATE];
int pids[SERVERS_TO_CREATE];