Pedro Vilaca 98be051cfa Don't remove PID file before stopping the service ... Update the launch script so that the PID file is not longer removed at the beginning of the stop method. Prior to this commit if a service wasn't able to stop on the first run, it wasn't possible to use the launch script anymore. Fixes gh-4369 Closes gh-4371		2015-11-10 11:16:00 -08:00
..
src	Don't remove PID file before stopping the service	2015-11-10 11:16:00 -08:00
pom.xml	Next Development Version	2015-10-16 05:57:24 -07:00