protected int execScript(String script,StringList args){
  if (isWindows()) {
    StringList newArgs=new StringList();
    newArgs.add("/C");
    newArgs.add(script);
    newArgs.addAll(args);
    return exec("cmd",newArgs);
  }
  return exec(script,args);
}

protected int execScript ( String script , StringList args ) { if ( isWindows ( ) ) { StringList newArgs = new StringList ( ) ; newArgs . add ( "/C" ) ; newArgs . add ( script ) ; newArgs . addAll ( args ) ; return exec ( "cmd" , newArgs ) ; } return exec ( script , args ) ; }
execute a script in a separate process . in windows , the batch file with this name ( . bat ) is run .
