diff options
| author | 2023-05-11 13:02:04 +0200 | |
|---|---|---|
| committer | 2023-05-11 13:02:04 +0200 | |
| commit | 6e2f2f1c1e98ecd86aa89c6547beb742d7385d18 (patch) | |
| tree | 7ba9f5aebb01d12045b9067a86b5060ba13dca18 /app/actualize_script.php | |
| parent | fe7d9bbcd68660a59b813346c236b61b25a51c80 (diff) | |
A few additional PHPStan rules (#5388)
A subset of
https://github.com/phpstan/phpstan-strict-rules
Diffstat (limited to 'app/actualize_script.php')
| -rwxr-xr-x | app/actualize_script.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/actualize_script.php b/app/actualize_script.php index 67dcc9631..93479e74d 100755 --- a/app/actualize_script.php +++ b/app/actualize_script.php @@ -42,7 +42,7 @@ function notice(string $message): void { // Avoid having multiple actualization processes at the same time $mutexFile = TMP_PATH . '/actualize.freshrss.lock'; $mutexTtl = 900; // seconds (refreshed before each new feed) -if (file_exists($mutexFile) && ((time() - @filemtime($mutexFile)) > $mutexTtl)) { +if (file_exists($mutexFile) && ((time() - (@filemtime($mutexFile) ?: 0)) > $mutexTtl)) { unlink($mutexFile); } |
