RoboServer 上で使用するプロキシ サーバーのリストを設定することができます。1 つのプロキシ サーバーのみが定義されている場合は、そのサーバーが使用されます。プロキシ サーバーのリストが定義されている場合は、最初の接続に対してプロキシ サーバーがランダムに選択されます。その後の接続については、ラウンドロビンの順番でプロキシ サーバーが使用されます。

プロキシの詳細については プロキシ サービスの使用を、また、プロキシ サーバーのプロパティについては Design Studio、プロキシ サーバーを参照してください。

新しいプロキシ サーバーを追加するには、プロキシ サーバー カテゴリを選択して、[プロキシ サーバーを追加] をクリックするか、プロキシ サーバーのカテゴリを右クリックして、[追加] をクリックします。レガシー プロパティ ファイルからプロキシ サーバーをインポートするには、プロキシ サーバーのカテゴリを選択して、[ファイルからプロキシ サーバー設定をインポート] をクリックします。この操作により、インポートするファイルのコンテンツを貼り付けるウィンドウが開きます。ファイルには、プロキシ サーバートピックの下部で説明されているフォーマットを使用する必要があります。