Skip to content

Commit

Permalink
Small tweak to run_in_sandbox to keep old versions of PHP happy.
Browse files Browse the repository at this point in the history
  • Loading branch information
mckeownp committed Jul 16, 2024
1 parent ad84a80 commit 4e07518
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion classes/external/run_in_sandbox.php
Original file line number Diff line number Diff line change
Expand Up @@ -185,7 +185,7 @@ public static function execute(
$paramsarray['jobeserver'] = $jobehostws;
}
// usecache set to false for these runs as we will never regrade them.
$runresult = $sandbox->execute($sourcecode, $language, $stdin, $filesarray, $paramsarray, usecache:false);
$runresult = $sandbox->execute($sourcecode, $language, $stdin, $filesarray, $paramsarray, false);
} catch (Exception $ex) {
throw new qtype_coderunner_exception("Attempt to run job failed with error {$ex->message}");
}
Expand Down

0 comments on commit 4e07518

Please sign in to comment.