# HG changeset patch
# User Anthony Liguori <aliguori@us.ibm.com>
# Node ID 73fccd848200b63230002b2d96df897ab232627a
# Parent  17e1b03d6932fa4eb827d61fd7cb32c04213e421
Types do matter in dictionaries, this fixes xm block-destroy

diff -r 17e1b03d6932 -r 73fccd848200 tools/python/xen/xend/server/controller.py
--- a/tools/python/xen/xend/server/controller.py	Fri Aug 12 19:34:09 2005
+++ b/tools/python/xen/xend/server/controller.py	Fri Aug 12 20:06:15 2005
@@ -325,7 +325,7 @@
         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