Searched refs:server_id (Results 1 – 2 of 2) sorted by relevance
906 thread_id_t *server_id; in main() local926 server_id = (thread_id_t *) malloc(num_servers * sizeof(thread_id_t)); in main()929 if (!server_id || !server_port_name || !server_port_args) { in main()941 thread_spawn(&server_id[i], server, (void *) (long) i); in main()982 thread_join(&server_id[i]); in main()
798 thread_id_t *server_id; in main() local813 server_id = (thread_id_t *) malloc(num_servers * sizeof(thread_id_t)); in main()822 thread_spawn(&server_id[i], server, (void *) (long) i); in main()863 thread_join(&server_id[i]); in main()