Fixing exit codes (a bug introduced by notification)

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

prism/src/bin/prism.darwin

@@ -73,6 +73,10 @@ ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
 # Run PRISM through Java
 "$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $ICON_OPTION -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
+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
 fi;
+
+exit $PRISM_EXIT_CODE

prism/src/bin/prism.linux

@@ -71,6 +71,10 @@ fi
 # Run PRISM through Java
 "$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
+PRISM_EXIT_CODE=$?
+
 if [ "$NOTIFY" = "yes" -a -n "`which notify-send`" ]; then
 	notify-send --icon=$PRISM_DIR/etc/icons/prism.ico "PRISM has finished" > /dev/null 2> /dev/null
 fi;
+
+exit $PRISM_EXIT_CODE