spring-projects/spring-boot — pull request #793 by kryger (2014-05-06 11:24:58+00:00)
Title: Registering PID file to be deleted on JVM exit

I hope this is the right place to set this.

------------

I have signed the CLA.