--- xen0	2009-03-04 10:08:06.000000000 -0700
+++ xen0-new	2009-03-04 10:08:39.000000000 -0700
@@ -15,6 +15,7 @@
 
 STOP_COMMAND="xm destroy"
 START_COMMAND="xm create"
+DUMP_COMMAND="xm dump-core"
 DEFAULT_XEN_DIR="/etc/xen"
 SSH_COMMAND="/usr/bin/ssh -q -x -n"
 
@@ -87,6 +88,13 @@
                      echo "Couldn't find a node name to stop"
                      exit 1
                  fi
+
+                 if [ "x$run_dump" != "x" ]
+                 then
+                     #Need to run core dump
+                     $SSH_COMMAND $dom0 "$DUMP_COMMAND $kill_node >/dev/null 2>&1"
+                 fi
+
                  $SSH_COMMAND $dom0 "(sleep 2; $STOP_COMMAND $kill_node) >/dev/null 2>&1 &"
                 break;;
             start)
@@ -206,6 +214,15 @@
 Name of the Dom0 Xen node. Root user shall be able to ssh to that node.
 </longdesc>
 </parameter>
+<parameter name="run_dump" unique="1" required="0">
+<content type="string" />
+<shortdesc lang="en">
+Run dump-core
+</shortdesc>
+<longdesc lang="en">
+If set plugin will call "xm dump-core" before killing DomU
+</longdesc>
+</parameter>
 </parameters>
 SSHXML
     exit 0