Update LocalSettings.php

miraheze · Oct 4, 2024 · aea6444 · aea6444
1 parent a516bfa
commit aea6444
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/LocalSettings.php b/LocalSettings.php
@@ -28,7 +28,7 @@
  $wgRequestTimeLimit = 0;
 } elseif ( strpos( $_SERVER['HTTP_HOST'] ?? '', 'videoscaler.' ) === 0 ) {
  $wgRequestTimeLimit = 86400;
-} elseif ( strpos( $_SERVER['HTTP_HOST'] ?? '', 'jobrunner-hi.' ) === 0 ) {
+} elseif ( strpos( $_SERVER['HTTP_HOST'] ?? '', 'jobrunner-high.' ) === 0 ) {
  $wgRequestTimeLimit = 259200;
 } elseif ( strpos( $_SERVER['HTTP_HOST'] ?? '', 'jobrunner.' ) === 0 ) {
  // We have to set this to the highest we require a job to run for.