diff -r a9e921cf0821 tools/python/xen/xend/XendDomainInfo.py
--- a/tools/python/xen/xend/XendDomainInfo.py	Fri Aug 18 09:57:23 2006 +0900
+++ b/tools/python/xen/xend/XendDomainInfo.py	Fri Aug 18 10:23:33 2006 +0900
@@ -972,11 +972,14 @@ class XendDomainInfo:
         
         try:
             if not corefile:
-                corefile = "/var/xen/dump/%s.%s.core" % (self.info['name'],
-                                                     self.domid)
+                this_time = time.strftime("%Y-%m%d-%H%M.%S", time.localtime())
+                corefile = "/var/xen/dump/%s-%s.%s.core" % (this_time,
+                                  self.info['name'], self.domid)
             xc.domain_dumpcore(self.domid, corefile)
 
         except:
+            corefile_incomp = corefile+'-incomplete'
+            os.rename(corefile, corefile_incomp)
             log.exception("XendDomainInfo.dumpCore failed: id = %s name = %s",
                           self.domid, self.info['name'])