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

 1
 2bsh.help.source = "usage: source( filename | URL )";
 3
 4source( String filename ) {
 5	return this.interpreter.source( filename, this.caller.namespace );
 6}
 7
 8source( URL url ) {
 9	return this.interpreter.eval( 
10		new InputStreamReader(url.openStream()), this.caller.namespace,  
11		"URL: "+url.toString()
12	);
13}
14