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 22764f3 commit edab328Copy full SHA for edab328
webapp/src/Controller/API/JudgehostController.php
@@ -1032,6 +1032,12 @@ private function addSingleJudgingRun(
1032
// Only update if the current result is different from what we had before.
1033
// This should only happen when the old result was NULL.
1034
if ($oldResult !== $result) {
1035
+ if ($oldResult === 'aborted') {
1036
+ // This judging was cancelled while we worked on it,
1037
+ // probably as part of a cancelled rejudging.
1038
+ // Throw away our work, and return that we're done.
1039
+ return false;
1040
+ }
1041
if ($oldResult !== null) {
1042
throw new BadMethodCallException('internal bug: the evaluated result changed during judging');
1043
}
0 commit comments