# HG changeset patch
# User Ewan Mellor <ewan@xensource.com>
# Date 1174409729 0
# Node ID a6d8885931174cf0f91a2a10551abd1ec413d17b
# Parent  bea7ff5ebd608160d8258bc7b1cd911aac0d7f62
Tidy the error message from getDomains when using the Xen-API and no domain
is found.

Signed-off-by: Ewan Mellor <ewan@xensource.com>

diff -r bea7ff5ebd60 -r a6d888593117 tools/python/xen/xm/main.py
--- a/tools/python/xen/xm/main.py	Tue Mar 20 16:52:33 2007 +0000
+++ b/tools/python/xen/xm/main.py	Tue Mar 20 16:55:29 2007 +0000
@@ -710,7 +710,9 @@ def getDomains(domain_names, state, full
             if len(doms) > 0:
                 return doms
             else:
-                print "Error: no domains named '%s'" % domain_names
+                print "Error: no domain%s named %s" % \
+                      (len(domain_names) > 1 and 's' or '',
+                       ', '.join(domain_names))
                 sys.exit(-1)
         else:
             return doms_sxp