use settings.json for default port number