diff options
| -rw-r--r-- | stubdom/stubdom-dm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stubdom/stubdom-dm b/stubdom/stubdom-dm index 03fbd3ba0d..49df178fcb 100644 --- a/stubdom/stubdom-dm +++ b/stubdom/stubdom-dm @@ -74,7 +74,7 @@ done creation="xm create -c stubdom-$domname target=$domid memory=32 extra=\"$extra\"" -(while true ; do sleep 60 ; done) | $creation & +(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" & consolepid=$! |