ia64/xen-unstable
changeset 2117:bab0a551830b
bitkeeper revision 1.1159.1.8 (4114e84532jMbVgxayKe_J9XghOtWw)
Allow vbd device names to be used with and without /dev/ prefix
Allow vbd device names to be used with and without /dev/ prefix
author | iap10@labyrinth.cl.cam.ac.uk |
---|---|
date | Sat Aug 07 14:33:41 2004 +0000 (2004-08-07) |
parents | 6c0df1212e95 |
children | 1baf3765a8d9 |
files | tools/python/xen/xend/XendDomainInfo.py |
line diff
1.1 --- a/tools/python/xen/xend/XendDomainInfo.py Fri Aug 06 18:45:26 2004 +0000 1.2 +++ b/tools/python/xen/xend/XendDomainInfo.py Sat Aug 07 14:33:41 2004 +0000 1.3 @@ -83,7 +83,9 @@ def blkdev_name_to_number(name): 1.4 'hda') and return the device number used by the OS. """ 1.5 1.6 if not re.match( '^/dev/', name ): 1.7 - n = '/dev/' + name 1.8 + n = '/dev/' + name 1.9 + else: 1.10 + n = name 1.11 1.12 try: 1.13 return os.stat(n).st_rdev