You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
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
9 years ago
..
spring-boot-antlib Revert "Add or avoid proxy configurations for integration tests" 9 years ago
spring-boot-configuration-metadata Organize imports with new settings 9 years ago
spring-boot-configuration-processor Polish 9 years ago
spring-boot-gradle-plugin Disable addResources by default 9 years ago
spring-boot-loader Polish 9 years ago
spring-boot-loader-tools Don't remove PID file before stopping the service 9 years ago
spring-boot-maven-plugin Add "INIT INFO" property substitutions 9 years ago
pom.xml Next Development Version 9 years ago