diff options
| author |  Marien Fressinaud <dev@marienfressinaud.fr>
| 2015-07-27 14:52:13 +0200 |
|---|---|---|
| committer | Marien Fressinaud <dev@marienfressinaud.fr>
| 2015-07-27 14:52:13 +0200 |
| commit | 9817743cd7fbe10e361873a0a5d6cb591c720c23 (patch) | |
| tree | 1c4a245c6298902633dc5956529ba857cca212ba /app/Models/ConfigurationSetter.php | |
| parent | 7242806c309afdc38a0b5fa165a2a00f87292c9d (diff) | |
Cast $limits values in int (config)
Fix https://github.com/FreshRSS/FreshRSS/issues/925
Diffstat (limited to 'app/Models/ConfigurationSetter.php')
| -rw-r--r-- | app/Models/ConfigurationSetter.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/Models/ConfigurationSetter.php b/app/Models/ConfigurationSetter.php index d7378d4d8..992a3a387 100644 --- a/app/Models/ConfigurationSetter.php +++ b/app/Models/ConfigurationSetter.php @@ -362,6 +362,7 @@ class FreshRSS_ConfigurationSetter { continue; } + $value = intval($value); $limits = $limits_keys[$key]; if ( (!isset($limits['min']) || $value >= $limits['min']) && |