サーバーへの接続設定を変更する

環境設定で、ログインダイアログボックスに初期値で表示されるポートを変更することができます。また、サーバーへの接続にプロキシを使うように設定することができます。

ポートを変更する

ログイン時に環境設定に設定したポートと異なるポートを指定した場合、ツリーペインのサーバーリストにポート番号が表示されます。

「ツール」メニューの「環境設定」をクリックします。
「通信」タブ/「サーバー接続」グループの「ポート」フィールドにポートを入力します。
「OK」をクリックします。

プロキシを使用する

「ツール」メニューの「環境設定」をクリックします。
「通信」タブ／「プロキシ」グループの「プロキシサーバーを使用する」チェックボックスをオンにします。
Http通信の設定についてプロキシサーバーの情報を入力します。
「通信」タブ／「プロキシ」グループの「フローサービスとの通信にプロキシサーバーを使用する」チェックボックスをオンにします。
「OK」をクリックします。

メモ

デザイナーから外部への通信設定については「デザイナーからの通信」を参照してください。