Bug fix in launch scripts re notifiers: bash does not always short circuit & it seems and so can print out warning about non-existent notifiers even when NOTIFY=no.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4571 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/bin/prism.darwin

@@ -75,8 +75,10 @@ ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
 
 PRISM_EXIT_CODE=$?
 
-if [ "$NOTIFY" = "yes" -a -n "`which growlnotify`" ]; then
-	growlnotify --image $PRISM_DIR/etc/icons/prism.ico PRISM has finished -m "" > /dev/null 2> /dev/null
+if [ "$NOTIFY" = "yes" ]; then
+	if [ -n "`which growlnotify`" ]; then
+		growlnotify --image $PRISM_DIR/etc/icons/prism.ico PRISM has finished -m "" > /dev/null 2> /dev/null
+	fi
 fi;
 
 exit $PRISM_EXIT_CODE

prism/src/bin/prism.linux

@@ -73,8 +73,10 @@ fi
 
 PRISM_EXIT_CODE=$?
 
-if [ "$NOTIFY" = "yes" -a -n "`which notify-send`" ]; then
+if [ "$NOTIFY" = "yes" ]; then
+	if [ -n "`which notify-send`" ]; then
 	notify-send --icon=$PRISM_DIR/etc/icons/prism.ico "PRISM has finished" > /dev/null 2> /dev/null
+	fi
 fi;
 
 exit $PRISM_EXIT_CODE