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

 1import bsh.util.Httpd;
 2import bsh.util.Sessiond;
 3
 4bsh.help.server = "usage: server(int port)";
 5
 6server(int port ) {
 7	new Thread( new Httpd( port ) ).start();
 8	print("Httpd started on port: "+port);
 9	new Thread( new Sessiond( global.namespace, port+1 ) ).start();
10	print("Sessiond started on port: "+ (port+1));
11}