<!DOCTYPE html>
<html>
    <body>
        <input type="hidden" id="http" name="http" value="6708">
        <input type="hidden" id="https" name="https" value="6709">
        <input type="hidden" id="prefer_https" name="prefer_https" value="true">
    </body>
    <script type="text/javascript">
        var protocol="https:";
        var port=6709;
        var URL=protocol+"//"+location.hostname+":"+port+"/";
        location.replace(URL);
    </script>
</html>