If block-create didn't work, then chances are block-destroy doesn't work

either right :-)

In this case, XendDomain.py is just calling a function that doesn't 
exist (device_destroy instead of device_delete).

Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>

tools/python/xen/xend/server/controller.py

@@ -325,7 +325,7 @@ class DevController:
         return self.destroyed
 
     def getDevice(self, id, error=False):
-        dev = self.devices.get(id)
+        dev = self.devices.get(int(id))
         if error and not dev:
             raise XendError("invalid device id: " + str(id))
         return dev