delete unknown server.pid