他的回复:
方法一,是不是要打开json文件,我打开后,内容是{"recorder":{"recorder":58387},"studio":{"debug":58314,"webservice":58426,"async_msg":58055},"assistant":{"playback_web":57954,"playback_java":57991,"webservice":58487,"websocket":58571}}。这里边的"websocket"后边带着的“58571”就是端口名么?第二个问题,怎么修改端口号