Assume PID file has been created just after server has started