!7

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