diff options
author | Andrew Dolgov <[email protected]> | 2022-07-31 13:55:09 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2022-07-31 13:55:09 +0300 |
commit | 26c67dba776e1e6f8ac40eed70fe79995325863d (patch) | |
tree | 862b043fa666e44ed0b2c997a98b1a256b26ee12 /classes/rssutils.php | |
parent | d5c043e8467881c00b2cd836f2f37b8479cf0b96 (diff) |
update phpstan to 1.8.2
Diffstat (limited to 'classes/rssutils.php')
-rwxr-xr-x | classes/rssutils.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/rssutils.php b/classes/rssutils.php index 384830556..e039284f2 100755 --- a/classes/rssutils.php +++ b/classes/rssutils.php @@ -662,7 +662,7 @@ class RSSUtils { print_r($item); } - if (ini_get("max_execution_time") > 0 && time() - $tstart >= ini_get("max_execution_time") * 0.7) { + if (ini_get("max_execution_time") > 0 && time() - $tstart >= ((float)ini_get("max_execution_time") * 0.7)) { Debug::log("looks like there's too many articles to process at once, breaking out.", Debug::LOG_VERBOSE); $pdo->commit(); break; |