Added close() member to server_socket