On 5/8/2013 3:29 PM, Rainer Jung wrote: > Careful: I didn't test it but we delete the pid file during web server > shutdown. That might remove /dev/null then. > > On a quick look through the code I had the impression you can not easily > get rid of the pid file. Agreed - setting to /dev/null under the current code also fails startup anyway with the following error: (20014)Internal error: Error retrieving pid file /dev/null Remove it before continuing if it is corrupted.
I haven't looked into it any further than that, though. -- Daniel Ruggeri