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: [email protected] For additional commands, e-mail: [email protected]
