Skip to content

Commit ed39176

Browse files
DOMjudge teamnickygerritsen
authored andcommitted
Give precedence to filename for expected result
1 parent f966192 commit ed39176

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

webapp/src/DOMJudgeBundle/Service/ImportProblemService.php

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -577,6 +577,8 @@ public function importZippedProblem(
577577
} elseif (!in_array($expectedResult, $results)) {
578578
$messages[] = sprintf("Annotated result '%s' does not match directory for %s",
579579
implode(', ', $results), $path);
580+
} elseif (!empty($expectedResult)) {
581+
$results[] = $expectedResult;
580582
}
581583
if ($totalSize <= $this->DOMJudgeService->dbconfig_get('sourcesize_limit') * 1024) {
582584
$contest = $this->entityManager->getRepository(Contest::class)->find($contest->getCid());

0 commit comments

Comments
 (0)