push server.pid delete