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