Last modified: 2014-08-03 15:46:23 UTC
The /usr/bin/webservice script on 'tools-dev' is not up-to-date; it is dated March 9, while the version on 'tools-login' is dated April 29. The old version does not support the new '-tomcat' parameter yet, so the Tomcat webservice can only be stopped/started from 'tools-login'.
Change 122841 had a related patch set uploaded by Tim Landscheidt: Package webservice https://gerrit.wikimedia.org/r/122841
Change 122841 merged by coren: Package webservice https://gerrit.wikimedia.org/r/122841