playframework/play — comment on commit fccbd8ccddb78bec265690b2751564f3be05225a
File:  line 0
By ikeike443:

Please check if process exists first, and then kill process, then remove server.pid.
If process doesn't exists, you should remove server.pid after skipping kill process.