/jEdit/tags/jedit-4-1-pre5/bsh/commands/exec.bsh
Unknown | 13 lines | 11 code | 2 blank | 0 comment | 0 complexity | 454db0d5d69594d3f5c0c518d71bd626 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- /**
- Get the Java Runtime and start the external process, display any
- output to the standard bsh output.
- */
- bsh.help.exec = "usage: exec( String arg )";
- exec( String arg ) {
- proc = Runtime.getRuntime().exec(arg);
- din = new DataInputStream( proc.getInputStream() );
- while( (line=din.readLine()) != null )
- print(line);
- }