00036 {
00037 this.port = port;
00038 if (port == 0)
00039 port = Integer.parseInt(ConsoleConstants.DEFAULT_CONSOLEOUT_PORT);
00040 this.console = console;
00041 this.configurations = configurations;
00042 this.manager = manager;
00043 this.killSignal = false;
00044 }
