diff -r a5a3f48e92c9 tools/Makefile --- a/tools/Makefile Wed Oct 04 19:00:11 2006 +0100 +++ b/tools/Makefile Thu Oct 26 11:48:20 2006 -0400 @@ -38,7 +38,7 @@ install: check $(MAKE) -C $$subdir $@; \ done $(MAKE) ioemuinstall - $(INSTALL_DIR) -p $(DESTDIR)/var/xen/dump + $(INSTALL_DIR) -p $(DESTDIR)/var/lib/xen/dump $(INSTALL_DIR) -p $(DESTDIR)/var/log/xen .PHONY: clean diff -r a5a3f48e92c9 tools/debugger/gdb/README --- a/tools/debugger/gdb/README Wed Oct 04 19:00:11 2006 +0100 +++ b/tools/debugger/gdb/README Thu Oct 26 11:48:34 2006 -0400 @@ -33,6 +33,6 @@ To debug a crashed domU guest: 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/..core'. + '/var/lib/xen/dump/..core'. 3. Run 'gdbserver-xen 127.0.0.1:9999 --file '. 4. Connect to the server as for a running guest. diff -r a5a3f48e92c9 tools/python/xen/xend/XendDomainInfo.py --- a/tools/python/xen/xend/XendDomainInfo.py Wed Oct 04 19:00:11 2006 +0100 +++ b/tools/python/xen/xend/XendDomainInfo.py Thu Oct 26 11:47:46 2006 -0400 @@ -986,7 +986,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'], self.domid) if os.path.isdir(corefile):