1

谁能告诉我如何改变server_portin Festival？我尝试使用更改它

set! server_port 1315

但在那之后server_port仍然有 1314 的默认值。任何人都可以尝试解决这个问题吗？

4

1 回答 1

2

这是一个旧的，但它可能对某人有帮助。

要定义节日服务器端口，只需使用以下命令行表达式：

festival --server '(set! server_port PORT)'

其中 PORT 是您所需的端口。下一个示例将在端口1515上启动节日服务器

festival --server '(set! server_port 1515)'
于 2012-09-18T22:20:47.103 回答