Fixed prism/xprism scripts to solve problems with headless use of command-line version.

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

prism/bin/prism

@@ -3,7 +3,7 @@
 # Startup script for PRISM (Linux/Solaris)
 
 # PRISM home directory
-PRISM_DIR=/data/private/luser/tmp/prismtest/prism-2.1.dev11.sim8
+PRISM_DIR=/home/staff/dxp/prism
 
 # Command to launch Java
 if [ "$PRISM_JAVA" = "" ]; then
@@ -37,5 +37,10 @@ if [ "$PRISM_MAINCLASS" = "" ]; then
 	PRISM_MAINCLASS=prism.PrismCL
 fi
 
+# Do we run headless? (GUI overrides this)
+if [ "$PRISM_HEADLESS" = "" ]; then
+	PRISM_HEADLESS=true
+fi
+
 # Run PRISM through Java
-"$PRISM_JAVA" $PRISM_JAVAMAXMEM -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"

prism/bin/xprism

@@ -3,9 +3,10 @@
 # Startup script for PRISM GUI (Linux/Solaris)
 
 # PRISM home directory
-PRISM_DIR=/data/private/luser/tmp/prismtest/prism-2.1.dev11.sim8
+PRISM_DIR=/home/staff/dxp/prism
 
 # Launch using main PRISM script
 PRISM_MAINCLASS=userinterface.GUIPrism
-export PRISM_MAINCLASS
+PRISM_HEADLESS=false
+export PRISM_MAINCLASS PRISM_HEADLESS
 $PRISM_DIR/bin/prism "$@"