サーバー名の変更
サーバーの名前を変更できます。
1. > の順にクリックし、サーバーのリストで編集するサーバーを選択します。
2. > の順にクリックします。
3. 「サーバープロパティ」ウィンドウでサーバー名を変更します。
 |
プライマリサーバーの場所は変更できません。プライマリサーバー上のワークスペースを変更する場合は、セッションからオブジェクトを消去する必要があります。
|
4. 「OK」をクリックします。
5. 「サーバー管理」ウィンドウで「閉じる」をクリックします。