Fixes judgehost down notification

The route requires the judgehostid as route parameter, not the hostname.

Author: tuupke

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/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')