ignore server.pid