2009-08-01 11:53:46 +02:00
|
|
|
Index: xen-3.4.1-testing/tools/python/xen/xend/XendDomainInfo.py
|
2008-02-02 01:58:27 +01:00
|
|
|
===================================================================
|
2009-08-01 11:53:46 +02:00
|
|
|
--- xen-3.4.1-testing.orig/tools/python/xen/xend/XendDomainInfo.py
|
|
|
|
|
+++ xen-3.4.1-testing/tools/python/xen/xend/XendDomainInfo.py
|
2009-06-12 20:43:24 +02:00
|
|
|
@@ -2118,7 +2118,7 @@ class XendDomainInfo:
|
2009-05-04 18:38:09 +02:00
|
|
|
|
|
|
|
|
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)
|
2008-02-02 01:58:27 +01:00
|
|
|
|
2009-05-04 18:38:09 +02:00
|
|
|
if os.path.isdir(corefile):
|
