[jbosstools-issues] [JBoss JIRA] (JBIDE-26740) add option to Wildfly-Overview to "auto-restart" after publishing

[nimo stephan (Jira)]

nimo stephan created JBIDE-26740:
------------------------------------

             Summary: add option to Wildfly-Overview to "auto-restart" after publishing
                 Key: JBIDE-26740
                 URL: https://issues.jboss.org/browse/JBIDE-26740
             Project: Tools (JBoss Tools)
          Issue Type: Feature Request
          Components: server
    Affects Versions: 4.12.0.Final
            Reporter: nimo stephan


Actually, we can change the to automatically *publishing* to Wildfly after resource changed. However, it makes sense to restart the server automatically after code/resource is changed and published. 

Please add a new option in "Wildfly Server Overview" beneath the "Publishing" called "*Restarting*" with a checkbox. So when user checks "restart after publish", *server will be automatically restarted* after resources has changed.



--
This message was sent by Atlassian Jira
(v7.12.1#712002)