!7

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