direct-io.hg

changeset 14338:10f5478a91cd

Fix "no such domain" error message from domain_lookup.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
author Ewan Mellor <ewan@xensource.com>
date Sat Mar 10 20:20:24 2007 +0000 (2007-03-10)
parents 4dd4c285481a
children f6656928d7d1
files tools/python/xen/xend/XendDomain.py
line diff
     1.1 --- a/tools/python/xen/xend/XendDomain.py	Sat Mar 10 20:18:17 2007 +0000
     1.2 +++ b/tools/python/xen/xend/XendDomain.py	Sat Mar 10 20:20:24 2007 +0000
     1.3 @@ -495,7 +495,7 @@ class XendDomain:
     1.4              self._refresh(refresh_shutdown = False)
     1.5              dom = self.domain_lookup_nr(domid)
     1.6              if not dom:
     1.7 -                raise XendInvalidDomain("No domain named '%s'." % str(domid))
     1.8 +                raise XendInvalidDomain(str(domid))
     1.9              return dom
    1.10          finally:
    1.11              self.domains_lock.release()