sO redirectToHTTPS(IWebRequest req) null {
  if (!req.isHttps())
    ret subBot_serveRedirect("https://" + req.domain() + req.uri() + htmlQuery(req.params()));
}