spring-boot/spring-boot-tools
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
..
spring-boot-antlib Revert "Add or avoid proxy configurations for integration tests" 2015-11-02 17:38:54 +00:00
spring-boot-configuration-metadata
spring-boot-configuration-processor Polish 2015-11-03 20:36:20 -08:00
spring-boot-gradle-plugin Disable addResources by default 2015-10-20 15:04:25 +02:00
spring-boot-loader Polish 2015-11-03 20:36:20 -08:00
spring-boot-loader-tools Don't remove PID file before stopping the service 2015-11-10 11:16:00 -08:00
spring-boot-maven-plugin Add "INIT INFO" property substitutions 2015-10-20 17:48:22 -07:00
pom.xml