{
private final static String startClass = "jalview.bin.Jalview";
+ private final static String headlessProperty = "java.awt.headless";
+
private static boolean checkJVMSymlink(String testBin)
{
File testBinFile = new File(testBin);
boolean debug = false;
boolean wait = true;
boolean quiet = false;
+ boolean headless = false;
// must set --debug before --launcher...
boolean launcherstop = false;
boolean launcherprint = false;
{
quiet = true;
}
+ if (arg.equals("--headless"))
+ {
+ headless = true;
+ }
if (debug && arg.equals("--launcherprint"))
{
launcherprint = true;
boolean memSet = false;
boolean dockIcon = false;
boolean dockName = false;
+ boolean headlessProp = false;
for (int i = 0; i < command.size(); i++)
{
String arg = command.get(i);
{
dockName = true;
}
+ else if (arg.startsWith("-D" + headlessProperty + "="))
+ {
+ headlessProp = true;
+ }
}
if (!memSet)
+ appName);
}
}
+ if (headless && !headlessProp)
+ {
+ System.setProperty(headlessProperty, "true");
+ command.add("-D" + headlessProperty + "=true");
+ }
String scalePropertyArg = HiDPISetting.getScalePropertyArg();
if (scalePropertyArg != null)