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 に答える