211212213214215216217
} }-*/; private static ScriptPlayer getPlayer(String name, String url, boolean autoplay, String width, String height, JavaScriptObject options) { return new ScriptPlayer(name, url, autoplay, width, height, options); }
2425262728293031
final GenericTerminal terminal; int nRun=1; Throwable error=null; public StarScriptArgHandler(GenericTerminal terminal) { scriptPlayer=new ScriptPlayer(); this.terminal = terminal; }