X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=37f396eb842d5d6a204ee8279559c200dba18460;hb=fc895e8dacdbb7f49df0ec5c9f475b841082e9b3;hp=e890cb85bd00a5cfc35c166152a4b05c74b92004;hpb=2cbf9d005db462396fa1dc0750aa63a2e6cd0735;p=jalview.git diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index e890cb8..37f396e 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -70,7 +70,14 @@ import groovy.util.GroovyScriptEngine; /** * Main class for Jalview Application
*
- * start with java -Djava.ext.dirs=$PATH_TO_LIB$ jalview.bin.Jalview + * start with: java -classpath "$PATH_TO_LIB$/*:$PATH_TO_CLASSES$" \ + * jalview.bin.Jalview + * + * or on Windows: java -classpath "$PATH_TO_LIB$/*;$PATH_TO_CLASSES$" \ + * jalview.bin.Jalview jalview.bin.Jalview + * + * (ensure -classpath arg is quoted to avoid shell expansion of '*' and do not + * embellish '*' to e.g. '*.jar') * * @author $author$ * @version $Revision$ @@ -89,13 +96,21 @@ public class Jalview public static AlignFrame currentAlignFrame; - public static boolean isJS = /** @j2sNative true || */ // BH 2018 - false; + /** + * Answers true if Jalview is running as Javascript, else false. The value is + * set at compile time. + * + * @return + */ + public static boolean isJS() + { + return /** @j2sNative true || */ + false; + } static { - - if (!isJS) + if (!isJS()) { // BH 2018 // grab all the rights we can the JVM Policy.setPolicy(new Policy() @@ -199,7 +214,7 @@ public class Jalview void doMain(String[] args) { - if (!isJS) + if (!isJS()) { System.setSecurityManager(null); } @@ -287,7 +302,7 @@ public class Jalview { error.printStackTrace(); System.out.println("\nEssential logging libraries not found." - + "\nUse: java -Djava.ext.dirs=$PATH_TO_LIB$ jalview.bin.Jalview"); + + "\nUse: java -classpath \"$PATH_TO_LIB$/*:$PATH_TO_CLASSES$\" jalview.bin.Jalview"); System.exit(0); } @@ -530,7 +545,7 @@ public class Jalview } System.out.println("CMD [-open " + file + "] executed successfully!"); - if (!isJS && !file.startsWith("http://")) + if (!isJS() && !file.startsWith("http://")) { if (!(new File(file)).exists()) {