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