chiark / gitweb /
udp: Break out udp_destroy_socket