[GitHub] tomcat pull request #113: Modify Windows startup command from start to run

2018-05-22 Thread isapir
Github user isapir closed the pull request at: https://github.com/apache/tomcat/pull/113 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #113: Modify Windows startup command from start to run

2018-05-20 Thread isapir
GitHub user isapir opened a pull request: https://github.com/apache/tomcat/pull/113 Modify Windows startup command from start to run Applies enhancement as proposed in BZ-62392 - https://bz.apache.org/bugzilla/show_bug.cgi?id=62392 It is a very simple fix so might be easier