設定オプション

「設定」オプションを選択すると Insight.cfg ファイルが開きます。このファイルは各種サーバーへの接続を制御します。

Insight.cfg ファイルを編集するには

1. Insight.cfg ウィンドウで、必要に応じてパラメーターを変更します。ファイル内のパラメーターについて詳しくは、 Insight.cfg 『 Insight設定パラメーター』を参照してください。
2. 設定を保存するには、ウィンドウ上部の Insight.cfg (modified) を右クリックし、をクリックしま Save as Insight.cfg​す。

新しいサーバーを追加するには

1. ウィンドウ Insight.cfg で右クリックし、「>」 Servers をクリッ Add new child クしま Server​す。

   

2. 目的のサーバーへのアクセスをData Workbenchに提供するために、サーバーのパラメーターを入力または変更します。 ファイル内のパラメーターについて詳しくは、 Insight.cfg 『 Insight設定パラメーター』を参照してください。

3. 接続を設定するサーバーごとに手順 1 と 2 を繰り返します。

4. 設定を保存するには、ウィンドウ上部の Insight.cfg (modified) を右クリックし、をクリックしま Save as Insight.cfg​す。

指定した設定を使用して、Data Workbenchがサーバーへの接続を試行します。 If a connection is established, a green node appears in the Servers Manager as shown below. Data Workbenchがサーバーに接続できない場合は、赤いノードが表示されます。