!7

html {
  O httpd = getThreadLocal((ThreadLocal) getOpt(mainBot(), "MyHTTPD_current"));
  if (httpd == null)
    httpd = getThreadLocal((ThreadLocal) getOpt(mainBot(), "WebSocketHTTPD_current"));
  Int port = cast getOpt(httpd, 'myPort);
  ret "TL=" + tl + ", port=" + port + "<br>" + htmlencode(sfu(subBot_getHeaders()));
}