diff -r 82c6d0b8852e stubdom/stubdom-dm
--- a/stubdom/stubdom-dm	Mon Jul 13 16:50:53 2009 +0100
+++ b/stubdom/stubdom-dm	Tue Jul 14 10:50:39 2009 +0200
@@ -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