PageRenderTime 169ms CodeModel.GetById 167ms app.highlight 1ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
Unknown | 11 lines | 9 code | 2 blank | 0 comment | 0 complexity | f87a5e970eed0c4f91451e0ca0e4272f MD5 | raw file
 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}