The server configuration file is passed as a command line parameter.