34353637383940
/** * @param port the listening HTTP port */ public StandaloneMiniConsole(int port) { this(port, new MiniConsoleApplication()); }
4445464748495051525354
@Override public void init() throws ServletException { app = new MiniConsoleApplication(); String providerClassName = getInitParameter("serverConnectionProvider"); if(providerClassName != null) {