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)