# HG changeset patch
# User Keir Fraser <keir.fraser@citrix.com>
# Date 1247579164 -3600
# Node ID 98e606e9d173870e85fd94621b710f8dc540e6ce
# Parent  e845326ae20387ea672e728f31a304cebc254afa
stubdom: fix stubdom-dm error path

Exit the shell and not a subshell.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>

diff -r e845326ae203 -r 98e606e9d173 stubdom/stubdom-dm
--- a/stubdom/stubdom-dm	Tue Jul 14 14:43:19 2009 +0100
+++ b/stubdom/stubdom-dm	Tue Jul 14 14:46:04 2009 +0100
@@ -74,8 +74,8 @@ do
     shift
 done
 
-[ -z "$domid"   ] && ( echo "couldn't find domain ID" ; exit 1 )
-[ -z "$domname" ] && ( echo "couldn't find domain name" ; exit 1 )
+[ -z "$domid"   ] && { echo "couldn't find domain ID" ; exit 1; }
+[ -z "$domname" ] && { echo "couldn't find domain name" ; exit 1; }
 
 # Termination handler