Fixes judgehost down notification

webapp/public/js/domjudge.js

@@ -759,7 +759,7 @@ function updateMenuJudgehosts(data)
             sendNotification('Judgehost down.',
                 {'tag': 'host_'+data[i].hostname+'@'+
                     Math.floor(data[i].polltime),
-                    'link': domjudge_base_url + '/jury/judgehosts/' + encodeURIComponent(data[i].hostname),
+                    'link': domjudge_base_url + '/jury/judgehosts/' + encodeURIComponent(data[i].judgehostid),
                     'body': data[i].hostname + ' is down'});
         }
     }

webapp/src/Controller/Jury/JudgehostController.php

@@ -230,7 +230,7 @@ public function indexAction(Request $request): Response
     /**
      * @throws NonUniqueResultException
      */
-    #[Route(path: '/{judgehostid}', methods: ['GET'], name: 'jury_judgehost')]
+    #[Route(path: '/{judgehostid<\d+>}', methods: ['GET'], name: 'jury_judgehost')]
     public function viewAction(Request $request, int $judgehostid): Response
     {
         /** @var Judgehost|null $judgehost */
@@ -302,7 +302,7 @@ public function viewAction(Request $request, int $judgehostid): Response
      * @throws NonUniqueResultException
      */
     #[IsGranted('ROLE_ADMIN')]
-    #[Route(path: '/{judgehostid}/delete', name: 'jury_judgehost_delete')]
+    #[Route(path: '/{judgehostid<\d+>}/delete', name: 'jury_judgehost_delete')]
     public function deleteAction(Request $request, int $judgehostid): Response
     {
         /** @var Judgehost $judgehost */
@@ -318,7 +318,7 @@ public function deleteAction(Request $request, int $judgehostid): Response
     }
 
     #[IsGranted('ROLE_ADMIN')]
-    #[Route(path: '/{judgehostid}/enable', name: 'jury_judgehost_enable')]
+    #[Route(path: '/{judgehostid<\d+>}/enable', name: 'jury_judgehost_enable')]
     public function enableAction(RouterInterface $router, Request $request, int $judgehostid): RedirectResponse
     {
         /** @var Judgehost $judgehost */
@@ -330,7 +330,7 @@ public function enableAction(RouterInterface $router, Request $request, int $jud
     }
 
     #[IsGranted('ROLE_ADMIN')]
-    #[Route(path: '/{judgehostid}/disable', name: 'jury_judgehost_disable')]
+    #[Route(path: '/{judgehostid<\d+>}/disable', name: 'jury_judgehost_disable')]
     public function disableAction(RouterInterface $router, Request $request, int $judgehostid): RedirectResponse
     {
         /** @var Judgehost $judgehost */

webapp/src/Service/DOMJudgeService.php

@@ -370,7 +370,7 @@ public function getUpdates(): array
             }
 
             $judgehosts = $this->em->createQueryBuilder()
-                ->select('j.hostname', 'j.polltime')
+                ->select('j.judgehostid', 'j.hostname', 'j.polltime')
                 ->from(Judgehost::class, 'j')
                 ->andWhere('j.enabled = 1')
                 ->andWhere('j.hidden = 0')