File xend-core-dump-loc.diff of Package xen

Index: xen-3.3.1-testing/tools/python/xen/xend/XendDomainInfo.py
===================================================================
--- xen-3.3.1-testing.orig/tools/python/xen/xend/XendDomainInfo.py
+++ xen-3.3.1-testing/tools/python/xen/xend/XendDomainInfo.py
@@ -1876,7 +1876,7 @@ class XendDomainInfo:
         try:
             if not corefile:
                 this_time = time.strftime("%Y-%m%d-%H%M.%S", time.localtime())
-                corefile = "/var/xen/dump/%s-%s.%s.core" % (this_time,
+                corefile = "/var/lib/xen/dump/%s-%s.%s.core" % (this_time,
                                   self.info['name_label'], self.domid)
                 
             if os.path.isdir(corefile):