File xen-3.3.0-dumpdir.patch of Package xen

diff -ruN xen-3.3.0.orig/tools/debugger/gdb/README xen-3.3.0/tools/debugger/gdb/README
--- xen-3.3.0.orig/tools/debugger/gdb/README	2008-08-28 17:50:29.000000000 +0200
+++ xen-3.3.0/tools/debugger/gdb/README	2008-08-28 17:50:41.000000000 +0200
@@ -33,6 +33,6 @@
  1. Add '(enable-dump yes)' to /etc/xen/xend-config.sxp before
     starting xend.
  2. When the domain crashes, a core file is written to
-    '/var/xen/dump/<domain-name>.<domain-id>.core'.
+    '/var/lib/xen/dump/<domain-name>.<domain-id>.core'.
  3. Run 'gdbserver-xen 127.0.0.1:9999 --file <core-file>'.
  4. Connect to the server as for a running guest.
diff -ruN xen-3.3.0.orig/tools/Makefile xen-3.3.0/tools/Makefile
--- xen-3.3.0.orig/tools/Makefile	2008-08-22 11:49:07.000000000 +0200
+++ xen-3.3.0/tools/Makefile	2008-08-28 17:50:58.000000000 +0200
@@ -49,7 +49,7 @@
 
 .PHONY: install
 install: subdirs-install
-	$(INSTALL_DIR) $(DESTDIR)/var/xen/dump
+	$(INSTALL_DIR) $(DESTDIR)/var/lib/xen/dump
 	$(INSTALL_DIR) $(DESTDIR)/var/log/xen
 	$(INSTALL_DIR) $(DESTDIR)/var/lib/xen
 
diff -ruN xen-3.3.0.orig/tools/python/xen/xend/XendDomainInfo.py xen-3.3.0/tools/python/xen/xend/XendDomainInfo.py
--- xen-3.3.0.orig/tools/python/xen/xend/XendDomainInfo.py	2008-08-22 11:49:08.000000000 +0200
+++ xen-3.3.0/tools/python/xen/xend/XendDomainInfo.py	2008-08-28 17:51:21.000000000 +0200
@@ -1843,7 +1843,7 @@
         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):