[GERONIMODEVTOOLS-594] Geronimo server can't be deleted when it has been stopped in GEP

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.1.5, 2.2.0
• Fix Version/s: 2.1.5, 2.2.0
• Component/s: eclipse-plugin
• Assignee: Xuan Dai
• Reporter: Xuan Dai
• Created: 22/Sep/09 05:48
• Updated: 22/Sep/09 06:08
• Resolved: 22/Sep/09 06:08

Description

1. In eclipse, create an server instance with GEP
2. start the server instance in eclipse
3. stop the server instance in eclipse
4. delete the Geronimo server from file system, with file browser(such as "windows explorer"

The server is not able to be deleted from file system.

Since the server has been stopped, the server should be able to be deleted from file system.