サーバーの削除

「サーバー」ビューから、サーバーを削除することができます。

このタスクについて

サーバーを削除するには、以下の手順に従います。

手順

  1. 「サーバー」ビューで、削除したいサーバーを右クリックします。
  2. 削除」を選択します。 「サーバーの削除」ダイアログ・ボックスが開きます。
  3. 「サーバーの削除」ダイアログ・ボックスが開き、次のオプションが表示されます。使用可能なオプションは、「サーバー」ビュー内のサーバーの状況によって異なります。
    オプション 説明
    未使用のサーバー構成を削除 (Delete unused server configurations) サーバー構成ファイルがサーバー・プロジェクトの下のワークスペース内に作成された場合、このオプションが使用可能になります。このチェック・ボックスを選択すると、ワークスペースから未使用のサーバー構成ファイルが削除されます。
    実行中のサーバーを削除 (Delete running servers) このオプションは、まだ実行中のサーバーを削除するよう指定します。
    サーバーを停止してから削除 (Stop servers before deleting) このオプションは、「実行中のサーバーを削除 (Delete running servers)」オプションを選択した場合に限り、使用可能になります。 このオプションを指定すると、実行中のサーバーは停止されてから「サーバー」ビューから削除されます。このオプションをクリアにし、「実行中のサーバーを削除 (Delete running servers)」を選択すると、サーバーに対し停止コマンドが発行されず、結果としてサーバーは「サーバー」ビューから削除された後も実行されたままになります。
  4. 削除オプションを適用するには、「OK」ボタンを選択します。