# Server port listening for discovery requests
#
# This name must be the same between client/server.
fun discovery_port: Int do return 18722