# Close the server and the socket below it
	fun close
	do
		listener.close
		closed = true
	end