playframework/playframework — pull request #3274 by gmethvin (2014-08-08 21:35:17+00:00)
Title: Remove PID file after calling onStop

Fixes #3239. This consolidates the shutdown hooks into a single hook that stops the Play server then deletes the PID file.

I also updated the test to avoid actually testing if the file was deleted, moving that to an assertion in the code. The existing test wouldn't work since the shutdown hooks are run in another thread, so we have to wait until the run hook completes to test if the file is deleted.