NDOJ/templates/submission/internal-error-message.html
2024-01-18 19:46:41 -06:00

18 lines
No EOL
729 B
HTML

<h3 style="font-weight:bold" class="red">
{% if request.user == submission.user.user %}
{% trans trimmed %}
An internal error occurred while grading, and the {{ SITE_NAME }} administrators have been notified.<br>
In the meantime, try resubmitting in a few seconds.
{% endtrans %}
{% else %}
{{ _('An internal error occurred while grading.') }}
{% endif %}
</h3>
{% if submission.error and request.user.is_authenticated %}
{% if request.profile.id in submission.problem.editor_ids or perms.judge.edit_all_problem %}
<hr style="float:left;width:30%"><br>
<h4>{{ _('Error information') }}</h4>
<code>{{ submission.error|highlight('pytb', linenos=True) }}</code>
{% endif %}
{% endif %}