ignored server.pid