bitkeeper revision 1.1159.1.8 (4114e84532jMbVgxayKe_J9XghOtWw)

Allow vbd device names to be used with and without /dev/ prefix

tools/python/xen/xend/XendDomainInfo.py

@@ -83,7 +83,9 @@ def blkdev_name_to_number(name):
     'hda') and return the device number used by the OS. """
 
     if not re.match( '^/dev/', name ):
-        n = '/dev/' + name
+	n = '/dev/' + name
+    else:
+	n = name
         
     try:
 	return os.stat(n).st_rdev