# set the server port to the default value server_port = 3979