<commit_before><?php 
  require('_include/header.php');

  $date = $_GET['date'];
  if(!$date) {
    $date = time();
  }

  function get_file($file) {
    $ch = curl_init($file);
    curl_setopt($ch,CURLOPT_ENCODING , "gzip");
    curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
    $body = curl_exec ($ch);
    curl_close ($ch);
    return $body;
  }

  $date = $_GET['date'];
  if(!$date) {
    $date = time();
  }

  echo "<h1>LWJGL Log: " . date("Y-m-d", $date) . " (<a href='irc://irc.freenode.net/lwjgl'>#LWJGL IRC channel</a>)</h1>";
  echo "<p>";
  $body = get_file("http://matzon.dk/brian/lwjgl/stats/lwjgl_browse.php?date=$date");
  echo $body;
  echo "</p>";
  require('_include/footer.php'); 
?><commit_msg>path change<commit_after><?php 
  require('_include/header.php');

  $date = $_GET['date'];
  if(!$date) {
    $date = time();
  }

  function get_file($file) {
    $ch = curl_init($file);
    curl_setopt($ch,CURLOPT_ENCODING , "gzip");
    curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
    $body = curl_exec ($ch);
    curl_close ($ch);
    return $body;
  }

  $date = $_GET['date'];
  if(!$date) {
    $date = time();
  }

  echo "<h1>LWJGL Log: " . date("Y-m-d", $date) . " (<a href='irc://irc.freenode.net/lwjgl'>#LWJGL IRC channel</a>)</h1>";
  echo "<p>";
  $body = get_file("http://echelog.matzon.dk/logs/lwjgl.php?date=$date");
  echo $body;
  echo "</p>";
  require('_include/footer.php'); 
?>
{'fraction_non_alphanumeric': 0.23342736248236953, 'fraction_numerical': 0.004231311706629055, 'mean_word_length': 3.533546325878594, 'pattern_counts': {'":': 0, '<': 17, '<?xml version=': 0, '>': 17, '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': '4465916', 'n_tokens_mistral': 616, 'n_tokens_neox': 586, 'n_words': 93}