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())
{