Github user isapir commented on the issue:
https://github.com/apache/tomcat/pull/121
While I like the idea of adding an easy way to restart, I'd prefer to add a
switch to startup rather than add a new script just for that, e.g. `startup
-restart` or `catalina restart`.--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
