Searched refs:ack_write_as_int (Results 1 – 1 of 1) sorted by relevance
755 const int ack_write_as_int = cast_handle_to_int(ack_write.get()); in launch_server() local756 if (cast_int_to_handle(ack_write_as_int) != ack_write.get()) { in launch_server()777 socket_spec.c_str(), ack_write_as_int); in launch_server()