<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html>
  <head>
    <title>Gerrit Code Review</title>
    <script type="text/javascript" language="javascript">
      var href = window.location.href;
      var p = href.indexOf('#');
      var token = '';
      if (p >= 0) {
        token = href.substring(p);
        href = href.substring(0, p);
      }

      var r = '/Gerrit';
      if (href.length >= r.length
       && href.substring(href.length - r.length) == r) {
        href = href.substring(0, href.length - r.length + 1) + token;
      } else {
        href = '.' + token;
      }
      window.location.replace(href);
    </script>
  </head>
  <body>
    <p>Redirecting to <a href=".">Gerrit Code Review</a>.</p>
  </body>
</html>