# UDP socket responding to discovery requests
	#
	# Usually opened on the first call to `answer_discovery_request`.
	var discovery_socket: UDPSocket is lazy do
		var s = new UDPSocket
		s.blocking = false
		s.bind(null, discovery_port)
		return s
	end