Allow refreshing the scoreboard cache to take more than 30s.

meisterT · meisterT · commit 17d1b566b76b · 2025-03-16T16:23:52.000Z
Refreshing the cache can take a while, especially with lots of teams in
dev mode.
diff --git a/webapp/src/Service/ScoreboardService.php b/webapp/src/Service/ScoreboardService.php
@@ -617,6 +617,8 @@ public function updateRankCache(Contest $contest, Team $team): void
      */
     public function refreshCache(Contest $contest, ?callable $progressReporter = null): void
     {
+        ini_set('max_execution_time', 300);
+
         $this->dj->auditlog('contest', $contest->getCid(), 'refresh scoreboard cache');
 
         if ($progressReporter === null) {

Original file line number	Diff line number	Diff line change
`@@ -617,6 +617,8 @@ public function updateRankCache(Contest $contest, Team $team): void`
`617`	`617`	`*/`
`618`	`618`	`public function refreshCache(Contest $contest, ?callable $progressReporter = null): void`
`619`	`619`	`{`
	`620`	`+ ini_set('max_execution_time', 300);`
	`621`	`+`
`620`	`622`	`$this->dj->auditlog('contest', $contest->getCid(), 'refresh scoreboard cache');`
`621`	`623`
`622`	`624`	`if ($progressReporter === null) {`