[Server]
# Port to use for web interface
#Port = "8080"