1.1 --- a/tools/python/xen/xend/XendDomain.py	Mon Jul 10 15:18:12 2006 +0100
     1.2 +++ b/tools/python/xen/xend/XendDomain.py	Mon Jul 10 15:18:53 2006 +0100
     1.3 @@ -428,7 +428,7 @@ class XendDomain:
     1.4              raise XendInvalidDomain(str(domid))
     1.5  
     1.6          if dominfo.getDomid() == PRIV_DOMAIN:
     1.7 -            raise XendError("Cannot migrate privileged domain %i" % domid)
     1.8 +            raise XendError("Cannot migrate privileged domain %s" % domid)
     1.9  
    1.10          """ The following call may raise a XendError exception """
    1.11          dominfo.testMigrateDevices(True, dst)
    1.12 @@ -458,7 +458,7 @@ class XendDomain:
    1.13                  raise XendInvalidDomain(str(domid))
    1.14  
    1.15              if dominfo.getDomid() == PRIV_DOMAIN:
    1.16 -                raise XendError("Cannot save privileged domain %i" % domid)
    1.17 +                raise XendError("Cannot save privileged domain %s" % domid)
    1.18  
    1.19              fd = os.open(dst, os.O_WRONLY | os.O_CREAT | os.O_TRUNC)
    1.20              try: