2022-12-18 09:31:31 +00:00
|
|
|
<h3 style="font-weight:bold" class="red">
|
2023-01-27 23:11:10 +00:00
|
|
|
{% 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 %}
|
2020-01-21 06:35:58 +00:00
|
|
|
</h3>
|
|
|
|
|
|
|
|
{% if submission.error and request.user.is_authenticated %}
|
2023-01-27 23:11:10 +00:00
|
|
|
{% 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=False) }}</code>
|
|
|
|
{% endif %}
|
2020-01-21 06:35:58 +00:00
|
|
|
{% endif %}
|