feat: add submission notification

Author: cubercsl

webapp/public/js/domjudge.js

@@ -660,7 +660,7 @@ function toggleRefresh($url, $after, usingAjax) {
     $('#refresh-toggle').text(text);
 }
 
-function updateClarifications()
+function updateTeamNotifications()
 {
     $.ajax({
         url: $('#menuDefault').data('update-url'),
@@ -677,6 +677,14 @@ function updateClarifications()
                         'link': domjudge_base_url + '/team/clarifications/'+data[i].clarid,
                         'body': data[i].body });
             }
+            data = json['unread_submissions'];
+            num = data.length;
+            for (let i = 0; i < num; i++) {
+                sendNotification(`Submission ${data[i].submissionid}: ${data[i].result}`,
+                 {'tag': 'sub_' + data[i].submissionid + '_judge_' + data[i].judgingid,
+                        'link': domjudge_base_url + '/team/submission/'+data[i].submissionid,
+                        'body': `Submission ${data[i].submissionid} received a new result: ${data[i].result}` });
+            }
         }
     })
 }

webapp/src/Controller/Team/MiscController.php

@@ -143,7 +143,10 @@ public function homeAction(Request $request): Response
     #[Route(path: '/updates', methods: ['GET'], name: 'team_ajax_updates')]
     public function updatesAction(): JsonResponse
     {
-        return $this->json(['unread_clarifications' => $this->dj->getUnreadClarifications()]);
+        return $this->json([
+            'unread_clarifications' => $this->dj->getUnreadClarifications(),
+            'unread_submissions' => $this->dj->getUnreadJudgements(),
+        ]);
     }
 
     #[Route(path: '/change-contest/{contestId<-?\d+>}', name: 'team_change_contest')]

webapp/src/Service/DOMJudgeService.php

@@ -322,6 +322,53 @@ public function getUnreadClarifications(): array
         return $unreadClarifications;
     }
 
+    /**
+     * @return array<array{submissionid: int, judgingid: int, body: string}>
+     */
+
+    public function getUnreadJudgements(): array
+    {
+        $user = $this->getUser();
+        $team = $user->getTeam();
+        $contest = $this->getCurrentContest($team->getTeamId());
+        $unreadJudgements = [];
+        if ($contest === null) {
+            return $unreadJudgements;
+        }
+
+        $queryBuilder = $this->em->createQueryBuilder()
+            ->from(Judging::class, 'j')
+            ->select('j, c, s')
+            ->leftJoin('j.contest', 'c')
+            ->leftJoin('j.submission', 's')
+            ->groupBy('j.judgingid')
+            ->orderBy('j.judgingid')
+            ->andWhere('j.contest = :cid')
+            ->setParameter('cid', $contest->getCid())
+            ->andWhere('j.result IS NOT NULL')
+            ->andWhere('s.team = :team')
+            ->setParameter('team', $team)
+            ->andWhere('s.submittime < c.endtime')
+            ->andWhere('j.valid = 1')
+            ->andWhere('j.seen = 0');
+
+        if ($this->config->get('verification_required')) {
+            $queryBuilder->andWhere('j.verified = 1');
+        }
+
+        /** @var Judging[] $judgings */
+        $judgings = $queryBuilder->getQuery()->getResult();
+
+        foreach ($judgings as $j) {
+            $unreadJudgements[] = [
+                'submissionid' => $j->getSubmissionId(),
+                'judgingid' => $j->getJudgingid(),
+                'result' => $j->getResult()
+            ];
+        }
+        return $unreadJudgements;
+    }
+
     /**
      * @return array{clarifications: array<array{clarid: int, body: string}>,
      *               judgehosts: array<array{hostname: string, polltime: float}>,

webapp/templates/team/base.html.twig

@@ -43,8 +43,8 @@
                     $('#notify_disable').removeClass('d-none');
                 }
             }
-            updateClarifications();
-            setInterval(updateClarifications, 20000);
+            updateTeamNotifications();
+            setInterval(updateTeamNotifications, 20000);
         });
 
     </script>