| Summary: | Deleting a server does not close its editor | ||
|---|---|---|---|
| Product: | [WebTools] WTP ServerTools | Reporter: | Rob Stryker <stryker> |
| Component: | wst.server | Assignee: | Angel Vera <arvera> |
| Status: | CLOSED DUPLICATE | QA Contact: | Angel Vera <arvera> |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 3.2 | ||
| Target Milestone: | 3.2.3 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Rob Stryker
I believe this is a regression. The code clearly makes an attempt to close the editors of a server that is deleted and I am sure this worked at some time in the past. *** This bug has been marked as a duplicate of bug 240167 *** |