Pid file not removed on server crash, causing subsequent "play start" to fail

[Jxtps]

If my play server crashes, the pid file is not removed when I execute "play stop" ("Play was not running (Process id 5642 not found)").

 

When I then go and try a "play start", I get the error message "Oops. /mnt/app/yosoft/thor/server is already started! (or delete /path/to/server.pid)".

 

At least the stop script should remove the pid file if the process doesn't exist; ideally both commands would.

[GrailsDeveloper]

I guess there would be less trouble if the java-process wrote the pid-
file into a temporary file, which will be removed automatically by the
vm, depending on how hart the crash is.
Niels

[Mark Danko]

Feature Request:

When we see a pid file, can we look in the ps table and see if the pid is running ? If we do not see that pid running  can we update the file/start?

[Mark Danko]

The github project said to ask about feature request here first.

I was thinking of writing this feature. If I do so (and it is well written) how likely is it be approved/committed?'

Thanks,

--mwd