diff -r a1c2cede77c7 tools/python/xen/xend/XendDomain.py
--- a/tools/python/xen/xend/XendDomain.py	Mon Jul 10 15:01:49 2006 +0100
+++ b/tools/python/xen/xend/XendDomain.py	Wed Jul 12 13:37:56 2006 -0700
@@ -435,7 +435,11 @@ class XendDomain:
                 raise XendInvalidDomain(str(domid))
 
             if dominfo.getDomid() == PRIV_DOMAIN:
-                raise XendError("Cannot save privileged domain %i" % domid)
+                raise XendError("Cannot save privileged domain %s" % str(domid))
+
+            if dominfo.info['image'][0] == 'hvm':
+                raise XendError("Cannot save hvm domain %s -- unimplemented" % 
+                                str(domid))
 
             fd = os.open(dst, os.O_WRONLY | os.O_CREAT | os.O_TRUNC)
             try: