a very simple notification using growl in Mac and notify-send in Linux

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

prism/src/bin/prism.darwin

@@ -5,6 +5,14 @@
 # PRISM home directory
 PRISM_DIR=/home/luser/prism
 
+# Default value for notification after the scipt has finished (yes/no)
+NOTIFY_DEFAULT=no
+
+# Set value for notification
+if [ "$NOTIFY" = "" ]; then
+	NOTIFY=$NOTIFY_DEFAULT
+fi;
+
 # Command to launch Java
 if [ "$PRISM_JAVA" = "" ]; then
 	PRISM_JAVA=java
@@ -64,3 +72,7 @@ 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 "$@"
+
+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;

prism/src/bin/prism.linux

@@ -5,6 +5,14 @@
 # PRISM home directory
 PRISM_DIR=/home/luser/prism
 
+# Default value for notification after the scipt has finished (yes/no)
+NOTIFY_DEFAULT=no
+
+# Set value for notification
+if [ "$NOTIFY" = "" ]; then
+	NOTIFY=$NOTIFY_DEFAULT
+fi;
+
 # Command to launch Java
 if [ "$PRISM_JAVA" = "" ]; then
 	PRISM_JAVA=java
@@ -62,3 +70,7 @@ 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 "$@"
+
+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;