有人可以告诉我如何更改server_port中的Festival吗？我尝试使用
set! server_port 1315
但在此之后server_port仍有1314的默认值。任何人都可以尝试解决这个问题吗？
答案 0 :(得分：1)
这是一个旧的，但它可能对某人有帮助。
要定义Festival服务器端口，只需使用以下命令行表达式：
festival --server '(set! server_port PORT)'
PORT是您所需的端口。下一个示例将在端口 1515
上启动festival服务器festival --server '(set! server_port 1515)'