From 23566e775d1e90064a01107d5e6c75a00ab6a2fe Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Mon, 4 Aug 2008 16:47:52 +0100 Subject: stubdom: rename the ioemu-dm domain config file to domainname-dm, which is shorter, makes more sense, and sorts better. From: Samuel Thibault Signed-off-by: Keir Fraser --- stubdom/stubdom-dm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'stubdom/stubdom-dm') diff --git a/stubdom/stubdom-dm b/stubdom/stubdom-dm index 49df178fcb..a800bc4746 100644 --- a/stubdom/stubdom-dm +++ b/stubdom/stubdom-dm @@ -55,7 +55,7 @@ term() { kill %1 ( [ -n "$vncpid" ] && kill -9 $vncpid - xm destroy stubdom-$domname + xm destroy $domname-dm #xm destroy $domname ) & # We need to exit immediately so as to let xend do the commands above @@ -67,12 +67,12 @@ trap term SIGHUP ############ # stubdomain # Wait for any previous stubdom to terminate -while xm list | grep stubdom-$domname +while xm list | grep $domname-dm do sleep 1 done -creation="xm create -c stubdom-$domname target=$domid memory=32 extra=\"$extra\"" +creation="xm create -c $domname-dm target=$domid memory=32 extra=\"$extra\"" (while true ; do sleep 60 ; done) | /bin/sh -c "$creation" & #xterm -geometry +0+0 -e /bin/sh -c "$creation ; echo ; echo press ENTER to shut down ; read" & -- cgit v1.2.3