From 4b6c9290bd55c6a4a16b8fb022f175d82e7de110 Mon Sep 17 00:00:00 2001 From: Luke Herbert Date: Fri, 24 Sep 2010 00:05:50 +0000 Subject: [PATCH] Modified xprism.bat so as not to pop up a console window when launching the GUI version of PRISM under windows. Tested on a Windows 7 system (this only affects windows). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2094 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/xprism.bat | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat index 0f02778a..1bd0b808 100755 --- a/prism/src/bin/xprism.bat +++ b/prism/src/bin/xprism.bat @@ -24,4 +24,5 @@ set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib rem Run PRISM through Java rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* -java -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %* +start javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %* +exit \ No newline at end of file