throw an exception when server.ini is missing