Changs default.config to use default server port: 9000