#!/bin/bash

r=$1

if [ ! -f "/etc/xen/$r.cfg" ] ; then
	echo "Usage:  $0 domname"
	echo "Available doms: "
	xm list
	exit 1;
fi


echo -n "Hard restarting $r" 

# SIGTERM
xm sysrq $r e
sleep 1s
echo -n  "."
# SIGKILL
xm sysrq $r l
sleep 1s
# Read-only
xm sysrq $r u
echo -n "."
# SYNC
xm sysrq $r s
xm sysrq $r o
echo "."
sleep 2s
xm destroy  $r

echo  "Starting it back up"
xm create /etc/xen/$r.cfg