diff options
-rw-r--r-- | stubdom/stubdom-dm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stubdom/stubdom-dm b/stubdom/stubdom-dm index c138e00945..8faca31843 100644 --- a/stubdom/stubdom-dm +++ b/stubdom/stubdom-dm @@ -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 |