プロキシ サーバー
RoboServer 上で使用するプロキシ サーバーのリストを設定することができます。1 つのプロキシ サーバーのみが定義されている場合は、そのサーバーが使用されます。プロキシ サーバーのリストが定義されている場合は、最初の接続に対してプロキシ サーバーがランダムに選択されます。その後の接続については、ラウンドロビンの順番でプロキシ サーバーが使用されます。
プロキシの詳細については プロキシ サービスの使用を、また、プロキシ サーバーのプロパティについては Design Studio、プロキシ サーバーを参照してください。
新しいプロキシ サーバーを追加するには、プロキシ サーバー カテゴリを選択して、[プロキシ サーバーを追加] をクリックするか、プロキシ サーバーのカテゴリを右クリックして、[追加] をクリックします。レガシー プロパティ ファイルからプロキシ サーバーをインポートするには、プロキシ サーバーのカテゴリを選択して、[ファイルからプロキシ サーバー設定をインポート] をクリックします。この操作により、インポートするファイルのコンテンツを貼り付けるウィンドウが開きます。ファイルには、プロキシ サーバートピックの下部で説明されているフォーマットを使用する必要があります。
-
プロキシ サーバーの [クラスタ設定] ウィンドウで、[プロキシ サーバーを追加] を選択します。
オプションとして、プロキシ サーバーのカテゴリを右クリックして、[追加] をクリックすることができます。
注 レガシー プロパティ ファイルからプロキシ サーバー設定をインポートするには、プロキシ サーバーのカテゴリを選択して、[レガシー プロパティ ファイルからプロキシ サーバー設定をインポート] をクリックします。インポートするファイルのコンテンツを貼り付けるウィンドウが開きます。
-
以下のプロキシ サーバーの詳細をすべて入力します。
-
ホスト名
-
ポート番号
-
ユーザー名
-
パスワード
-
除外ホスト名
-
- [OK] をクリックします。