データ管理 > サーバーの管理 > サーバーのプロパティを編集するには
  
サーバーのプロパティを編集するには
1. 「ファイル」(File) > 「セッションを管理」(Manage Session) > 「サーバー管理」(Server management) の順にクリックします。「サーバー管理」(Server Management) ダイアログボックスが開きます。
2. サーバーのリストから編集するサーバーを選択します。
3. 「サーバー」(Server) > 「編集」(Edit) の順にクリックします。「サーバープロパティ」(Server Property) ダイアログボックスが開きます。
4. サーバー名、位置、またはワークスペースを変更します。
 
• プライマリサーバーの位置を変更することはできません。
• プライマリサーバーでワークスペースを変更する場合は、オブジェクトをセッションから消去しなければなりません。
5. 「OK」をクリックします。
6. 「サーバー管理」(Server Management) ダイアログボックスの「閉じる」(Close) をクリックします。