[jbosstools-issues] [JBoss JIRA] (JBIDE-15163) Custom deploy scanner is not removed after server shutdown

[Martin Malina (JIRA)]

Martin Malina created JBIDE-15163:
-------------------------------------

             Summary: Custom deploy scanner is not removed after server shutdown
                 Key: JBIDE-15163
                 URL: https://issues.jboss.org/browse/JBIDE-15163
             Project: Tools (JBoss Tools)
          Issue Type: Bug
          Components: server
    Affects Versions: 4.1.0.CR1
         Environment: OS X 10.8.4
            Reporter: Martin Malina
             Fix For: 4.1.0.CR1


There are new options in server editor as seen in JBIDE-9830.
Custom deployment scanner should now be removed after server stop (if the given checkbox is checked in the server editor). But they are not.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira