From cdb7834de5a885593eeab46c57aac3232ca69e9a Mon Sep 17 00:00:00 2001
From: cuom1999 <lephuocdinh99@gmail.com>
Date: Wed, 28 Dec 2022 23:16:17 -0600
Subject: [PATCH] Fix ioi16

---
 judge/views/submission.py           | 2 +-
 templates/submission/user-ajax.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/judge/views/submission.py b/judge/views/submission.py
index 1d69daa..f18089f 100644
--- a/judge/views/submission.py
+++ b/judge/views/submission.py
@@ -930,7 +930,7 @@ class UserContestSubmissionsAjax(UserContestSubmissions):
         filtered_submissions = []
 
         # Only show this for some users when using ioi16
-        if self.contest.format_name != "ioi16" or self.include_frozen:
+        if self.contest.format_name != "ioi16" or self.request.user.is_superuser:
             for s in context["submissions"]:
                 if not hasattr(s, "contest"):
                     continue
diff --git a/templates/submission/user-ajax.html b/templates/submission/user-ajax.html
index 70bbcae..875c656 100644
--- a/templates/submission/user-ajax.html
+++ b/templates/submission/user-ajax.html
@@ -13,7 +13,7 @@
             <td class="lightbox-submissions-time case-{{'AC' if cur_subtask.points == cur_subtask.total else ('TLE' if cur_subtask.points == '???' else 'WA')}}">
                 {{ cur_subtask.points }} / {{ cur_subtask.total }}
             </td>
-            {% if cur_subtask.contest_time%}
+            {% if cur_subtask.contest_time %}
             <td>
                 ({{ cur_subtask.contest_time }})
             </td>