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