We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1c80b26 commit bb5d4c8Copy full SHA for bb5d4c8
webapp/src/Controller/API/JudgehostController.php
@@ -1049,6 +1049,12 @@ private function addSingleJudgingRun(
1049
// Only update if the current result is different from what we had before.
1050
// This should only happen when the old result was NULL.
1051
if ($oldResult !== $result) {
1052
+ if ($oldResult === 'aborted') {
1053
+ // This judging was cancelled while we worked on it,
1054
+ // probably as part of a cancelled rejudging.
1055
+ // Throw away our work, and return that we're done.
1056
+ return false;
1057
+ }
1058
if ($oldResult !== null) {
1059
throw new BadMethodCallException('internal bug: the evaluated result changed during judging');
1060
}
0 commit comments