1#!/bin/sh
2
3die ()
4{
5        echo ">> ERROR:" 1>&2
6	echo ">> $@" 1>&2
7        exit 1
8}
9
10unset sudo
11if [ "$1" = '-S' ]; then
12        shift
13        [ $(id -u) -ne 0 ] && sudo=sudo
14fi
15
16[ $# -eq 1 ] || die usage: rumpstop guest_spec
17
18stack=${1%%:*}
19guest=${1#*:}
20
21case "${stack}" in
22qemu)
23	kill ${guest}
24	;;
25xen)
26	${sudo} xl destroy ${guest}
27	;;
28*)
29	die invalid stack spec \"${stack}\"
30	;;
31esac
32
33exit $?
34