<commit_before>extends base
- load staticfiles
- load cache
- load cache_key

block media
    link(rel='stylesheet', href='{% static "status.css" %}')
    script(type='text/javascript', src='{% static "common.js" %}')
    script(type='text/javascript', src='{% static "event.js" %}')
    style
        #submissions-table {
            width: 75%;
            border: 0;
            margin-left: 0
        }

        td.sub-result {
            min-width: 80px;
        }

        td.sub-result .state {
            font-size: 0.7em;
            font-weight: bold;
            padding-top: 0.5em
        }

        td.sub-result .score {
            font-size: 1.3em;
            color: black
        }

        td.sub-info {
            width: 90%;
            text-align: left;
            padding-left: 20px;
            border-right: none;
        }

        td.sub-info-grading {
            width: auto !important;
            min-width: 58% !important;
        }

        td.sub-testcase {
            color: #555;
            min-width: 32%;
            vertical-align: middle;
            text-align: right;
            padding-right: 2%;
            border-right: none;
        }

        td.sub-info .name {
            font-size: 1.3em;
            font-weight: bold
        }

        td.sub-info .time {
            color: #555
        }

        td.sub-prop, td.sub-usage {
            white-space: nowrap;
        }

        td.sub-usage .time {
            font-weight: bold;
        }
    
    if request.user.is_authenticated and perms.judge.rejudge_submission
        script(type='text/javascript', src='{% static "jquery-cookie.js" %}')
        script(type='text/javascript')
            function rejudge_submission(id) {
                $.post('{% url "judge.views.rejudge_submission" %}', {id: id});
            }

    if dynamic_update
        script(type='text/javascript')
            $(function () {
                var table = $('#submissions-table');
                var statistics = $("#statistics-table");
                var doing_ajax = false;
                var first = parseInt(table.find('tr:first-child').attr('id'));

                var update_submission = function (id, force) {<commit_msg>Try ajax<commit_after>extends base
- load staticfiles
- load cache
- load cache_key

block media
    link(rel='stylesheet', href='{% static "status.css" %}')
    script(type='text/javascript', src='{% static "common.js" %}')
    script(type='text/javascript', src='{% static "event.js" %}')
    style
        #submissions-table {
            width: 75%;
            border: 0;
            margin-left: 0
        }

        td.sub-result {
            min-width: 80px;
        }

        td.sub-result .state {
            font-size: 0.7em;
            font-weight: bold;
            padding-top: 0.5em
        }

        td.sub-result .score {
            font-size: 1.3em;
            color: black
        }

        td.sub-info {
            width: 90%;
            text-align: left;
            padding-left: 20px;
            border-right: none;
        }

        td.sub-info-grading {
            width: auto !important;
            min-width: 58% !important;
        }

        td.sub-testcase {
            color: #555;
            min-width: 32%;
            vertical-align: middle;
            text-align: right;
            padding-right: 2%;
            border-right: none;
        }

        td.sub-info .name {
            font-size: 1.3em;
            font-weight: bold
        }

        td.sub-info .time {
            color: #555
        }

        td.sub-prop, td.sub-usage {
            white-space: nowrap;
        }

        td.sub-usage .time {
            font-weight: bold;
        }

    if request.user.is_authenticated and perms.judge.rejudge_submission
        script(type='text/javascript', src='{% static "jquery-cookie.js" %}')
        script(type='text/javascript')
            function rejudge_submission(id) {
                return $.ajax({
                    url: '{% url "judge.views.rejudge_submission" %}',
                    type: "POST",
                    data: {
                        id: id
                    }
                });
            }

    if dynamic_update
        script(type='text/javascript')
            $(function () {
                var table = $('#submissions-table');
                var statistics = $("#statistics-table");
                var doing_ajax = false;
                var first = parseInt(table.find('tr:first-child').attr('id'));

                var update_submission = function (id, force) {
{'fraction_non_alphanumeric': 0.1280104144065958, 'fraction_numerical': 0.012584074636580603, 'mean_word_length': 1.313095835423984, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '6688903', 'n_tokens_mistral': 1411, 'n_tokens_neox': 1289, 'n_words': 268}