samples/shell.js

changeset 1239
e1146c9cc758
parent 1231
701c1dcdf733
child 1490
d85f981c8cf8
     1.1 --- a/samples/shell.js	Fri Jan 30 15:03:56 2015 +0100
     1.2 +++ b/samples/shell.js	Thu Feb 12 16:43:33 2015 +0100
     1.3 @@ -42,7 +42,6 @@
     1.4      var Arrays = Java.type("java.util.Arrays");
     1.5      var BufferedReader = Java.type("java.io.BufferedReader");
     1.6      var InputStreamReader = Java.type("java.io.InputStreamReader");
     1.7 -    var List = Java.type("java.util.List");
     1.8      var ProcessBuilder = Java.type("java.lang.ProcessBuilder");
     1.9      var System = Java.type("java.lang.System");
    1.10  
    1.11 @@ -67,7 +66,7 @@
    1.12                      }
    1.13                  } else {
    1.14                      // build child process and start it!
    1.15 -                    new ProcessBuilder(Java.to(args, List))
    1.16 +                    new ProcessBuilder(Arrays.asList(args))
    1.17                          .inheritIO()
    1.18                          .start()
    1.19                          .waitFor();

mercurial