Searched refs:server_socket (Results 1 – 2 of 2) sorted by relevance
97 let server_socket = { in main() localVariable119 let server_handle = sockets.add(server_socket); in main()
141 let server_socket = { localVariable163 let server_handle = socket_set.add(server_socket);