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