1.1 --- a/samples/exec.js Tue Apr 26 13:31:55 2016 -0700
1.2 +++ b/samples/exec.js Wed May 11 14:20:49 2016 +0200
1.3 @@ -39,9 +39,10 @@
1.4 $EXEC("cat", "Hello, world!")
1.5
1.6 // Additional arguments can be passed after the stdin argument, as an array of
1.7 -// strings, or a sequence of varargs:
1.8 -$EXEC("ls", "" /* no stdin */, "-l", "-a")
1.9 -$EXEC("ls", "" /* no stdin */, ["-l", "-a"])
1.10 +// strings, or a sequence of varargs (if there is no stdin, null or undefined
1.11 +// can be passed):
1.12 +$EXEC("ls", undefined, "-l", "-a")
1.13 +$EXEC("ls", undefined, ["-l", "-a"])
1.14
1.15 // Output of running external commands is returned from $EXEC:
1.16 print($EXEC("ls"))
