From f64583167c205dd63c98e50451c9acbbaec0eccf Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Tue, 20 Dec 2011 11:26:35 +0000
Subject: [PATCH] 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 | 4 ++++
 prism/src/bin/prism.linux  | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/prism/src/bin/prism.darwin b/prism/src/bin/prism.darwin
index c4c87c03..15856f8a 100755
--- a/prism/src/bin/prism.darwin
+++ b/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
diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux
index d10f2a49..54993020 100755
--- a/prism/src/bin/prism.linux
+++ b/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