def __del__(self): print "destroying domU", self.name spawn(self.frontend, [self.frontend, "destroy", self.name])