Translations:Diskless nodes/102/ja

オプションは、このサーバがスタンドアローンモードモードで listen し、inted を実行する必要がないことを指定します. はログ/エラーメッセージを詳細にすべきことを指定します. は tptp サーバのルートを指定します.