*/
void doMain(String[] args)
{
-
if (!Platform.isJS())
{
System.setSecurityManager(null);
}
+ if (args == null)
+ args = new String[] {};
+
// Move any new getdown-launcher-new.jar into place over old
// getdown-launcher.jar
String appdirString = System.getProperty("getdownappdir");
}
// DISABLED FOR SECURITY REASONS
// TODO: add a property to allow properties to be overriden by cli args
- // Cache.setProperty(defs.substring(0,p), defs.substring(p+1));
+ // Cache.setProperty(setprop.substring(0,p), setprop.substring(p+1));
}
}
if (System.getProperty("java.awt.headless") != null
if (!(headless || headlessArg))
{
Desktop.nosplash = "false".equals(bootstrapArgs.get(Arg.SPLASH))
- || aparser.contains("nosplash");
+ || aparser.contains("nosplash")
+ || Cache.getDefault("SPLASH", "true").equals("false");
desktop = new Desktop();
desktop.setInBatchMode(true); // indicate we are starting up