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 Priority: Critical Actually, with *Jboss Tools* we can change to automatically *publish* to Wildfly-Server after resources has 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.