<commit_before><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=9" />
<title>Backup</title>

<script type="text/javascript">
    function parseCookies(){

        var cookiestrings = document.cookie.split('; ');
        var cookies = {};

        for(var i=cookiestrings.length-1; i>=0; i--){
           var parts = cookiestrings[i].split('=');
           cookies[parts[0]] = parts[1];
        }

        return cookies;
    }

	function setCookieAndRun(theme) {
	    var d = new Date();
    	d.setTime(d.getTime() + (90*24*60*60*1000));

		document.cookie = 'default-theme=' + theme  + '; expires=' + d.toUTCString() + '; path=/';
		window.location = theme;
	}

    var theme = parseCookies()['default-theme'];
    if ((theme || '').trim().length == 0)
    	theme = 'ngax';
    
	setCookieAndRun(theme); // Refresh

</script>

    <script type="text/javascript" src="oem/root/index/oem.js" ></script>
    <link rel="stylesheet" type="text/css" href="oem/root/index/oem.css" />

</head>

<body>

</body>
</html>
<commit_msg>Fixed theme redirects to also work with non-standard ports<commit_after><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=9" />
<title>Backup</title>

<script type="text/javascript">
    function parseCookies(){

        var cookiestrings = document.cookie.split('; ');
        var cookies = {};

        for(var i=cookiestrings.length-1; i>=0; i--){
           var parts = cookiestrings[i].split('=');
           cookies[parts[0]] = parts[1];
        }

        return cookies;
    }

	function setCookieAndRun(theme) {
	    var d = new Date();
    	d.setTime(d.getTime() + (90*24*60*60*1000));

		document.cookie = 'default-theme=' + theme  + '; expires=' + d.toUTCString() + '; path=/';

        // Make an absolute path redirect, as relative redirects break if the port is non-standard
        var path = window.location.pathname;
        
        if (path.lastIndexOf('.html') == path.length - '.html'.length)
            path = path.substr(0, path.lastIndexOf('/'));
        
        if (path.lastIndexOf('/') + 1 != path.length)
            path = path + '/';

        path += theme +'/index.html';
        window.location.replace(path);
	}

    var theme = parseCookies()['default-theme'];
    if ((theme || '').trim().length == 0)
    	theme = 'ngax';
    
	setCookieAndRun(theme); // Refresh

</script>

    <script type="text/javascript" src="oem/root/index/oem.js" ></script>
    <link rel="stylesheet" type="text/css" href="oem/root/index/oem.css" />

</head>

<body>

</body>
</html>

{'fraction_non_alphanumeric': 0.1942797349145448, 'fraction_numerical': 0.018137425880711544, 'mean_word_length': 2.829105473965287, 'pattern_counts': {'":': 0, '<': 35, '<?xml version=': 0, '>': 37, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, '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': '3499777', 'n_tokens_mistral': 1044, 'n_tokens_neox': 982, 'n_words': 194}