<commit_before><commit_msg>add redirect.html to src control<commit_after><html>

  <head>
  </head>

  <body>

    <div style="xtext-align:center; font-size:200%;">

      <h2>Weaning this server off HTTPS in the near future</h2>

      <p>The "<span id="h1">host</span>" server will stop supporting SSL connections. </p>

      <p>Please update your links.</p>
      
      <p>Redirecting you to <span id="s1" style="color:#0000FF">TARGET</span> in <span id="c1">15</span> seconds</p>

    </div>


    <script>
      function getUrlVars() {
      var vars = {};
      var parts = window.location.href.replace(/[?&]+([^=&]+)=([^&]*)/gi, function(m,key,value) {
      vars[key] = value;
      });
      return vars;
      }



      var hostname = location.hostname;
      var targetURL = "http://" + hostname + "/" + getUrlVars()["target"];

      document.getElementById("h1").innerHTML = hostname;
      document.getElementById("s1").innerHTML = "<a href=\"" + targetURL + "\">" + targetURL + "</a>";

      var count = 15; 
      
      var timer = setInterval(function() {
         var spanCount = document.querySelector('#c1');
         count--;      
         spanCount.textContent = count;
         if(count <= 0) {
		     window.location = targetURL;
         }
      }, 1000);

    </script>

  </body>


</html>
{'fraction_non_alphanumeric': 0.17927382753403934, 'fraction_numerical': 0.018154311649016642, 'mean_word_length': 2.4274611398963732, 'pattern_counts': {'":': 0, '<': 30, '<?xml version=': 0, '>': 29, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4997809', 'n_tokens_mistral': 449, 'n_tokens_neox': 414, 'n_words': 94}