Searched refs:ack_write_as_int (Results 1 – 1 of 1) sorted by relevance
894 const int ack_write_as_int = cast_handle_to_int(ack_write.get()); in launch_server() local895 if (cast_int_to_handle(ack_write_as_int) != ack_write.get()) { in launch_server()921 child_argv.push_back(std::to_string(ack_write_as_int)); in launch_server()