diff --git a/webapp/src/Service/DOMJudgeService.php b/webapp/src/Service/DOMJudgeService.php index 994a8c407a..fca9cd5eb8 100644 --- a/webapp/src/Service/DOMJudgeService.php +++ b/webapp/src/Service/DOMJudgeService.php @@ -1574,6 +1574,10 @@ public function getScoreboardZip( if ($filepath === false) { throw new Exception("Could not find (possibly symlinked) file: " . $file . ", at: " . $publicPath); } + if (!in_array(filetype($filepath), ['file', 'link'])) { + // Ignore special filetypes + continue; + } if (!(str_starts_with($filepath, $publicPath) || str_starts_with($filepath, $this->vendorDir) || str_starts_with($filepath, $this->nodeModulesDir))