/jEdit/tags/jedit-4-0-pre5/bsh/commands/exec.bsh

1
2bsh.help.exec = "usage: exec( String arg )";
3
4exec( String arg ) {
5	proc = Runtime.getRuntime().exec(arg);
6	din = new DataInputStream( proc.getInputStream() );
7	while( (line=din.readLine()) != null )
8		print(line);
9}