diff --git a/lib/classes/php_time_limit.php b/lib/classes/php_time_limit.php index 6416afa8a3f..b7be4f2ca5f 100644 --- a/lib/classes/php_time_limit.php +++ b/lib/classes/php_time_limit.php @@ -71,7 +71,7 @@ class core_php_time_limit { // server systems; if the front-end server has a timeout without receiving // data, it's helpful to set this timeout lower to ensure that a suitable // error gets logged. - if ($CFG->maxtimelimit) { + if (!empty($CFG->maxtimelimit)) { $realtimeout = max(1, $CFG->maxtimelimit); if ($newlimit === 0) { $newlimit = $realtimeout;