+ ;;
+ reboot-with-cdrom)
+ xm shutdown "$MACHINE"
+ xm create sipb-database machine_name="$ORIGMACHINE" cdrom_image="$2"
+ ;;
+ reboot)
+ if [ -n "$2" ]; then
+ /usr/sbin/dispatch.reboot-with-cdrom.sh "$ORIGMACHINE" "$2" &
+ else
+ xm reboot "$MACHINE"
+ fi