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
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