diff options
author | Aleksander Machniak <alec@alec.pl> | 2013-08-20 19:04:05 +0200 |
---|---|---|
committer | Aleksander Machniak <alec@alec.pl> | 2013-08-20 19:04:05 +0200 |
commit | 85ef036bbd7d77d6fc7deef4890af8671f689d41 (patch) | |
tree | c6fb9401eb5ff171d2903662661cb9c9e2fe7a09 /program | |
parent | 88b4231d98593abb2f1a3d3b106a012905bc6b19 (diff) |
- Fix setting refresh_interval to "Never" in Preferences (#1489286)
Diffstat (limited to 'program')
-rw-r--r-- | program/steps/settings/save_prefs.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/program/steps/settings/save_prefs.inc b/program/steps/settings/save_prefs.inc index 19edb41d4..3e8b1d17e 100644 --- a/program/steps/settings/save_prefs.inc +++ b/program/steps/settings/save_prefs.inc @@ -160,7 +160,7 @@ switch ($CURR_SECTION) $a_user_prefs['timezone'] = (string) $a_user_prefs['timezone']; - if (isset($a_user_prefs['refresh_interval']) && !empty($CONFIG['min_refresh_interval'])) { + if (!empty($a_user_prefs['refresh_interval']) && !empty($CONFIG['min_refresh_interval'])) { if ($a_user_prefs['refresh_interval'] < $CONFIG['min_refresh_interval']) { $a_user_prefs['refresh_interval'] = $CONFIG['min_refresh_interval']; } |