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:07:31 +0200 |
commit | 896aa0d6044799a37542e3505eb38cd67b1a1f51 (patch) | |
tree | 9a1984f6ec48441f6e200769ff41d8263871cfe1 | |
parent | 0e3f0ad9c90b0a381b9f5e72c40301e19a898976 (diff) |
- Fix setting refresh_interval to "Never" in Preferences (#1489286)
Conflicts:
CHANGELOG
-rw-r--r-- | CHANGELOG | 2 | ||||
-rw-r--r-- | program/steps/settings/save_prefs.inc | 2 |
2 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,8 @@ CHANGELOG Roundcube Webmail =========================== +- Fix setting refresh_interval to "Never" in Preferences (#1489286) + RELEASE 0.9.3 ------------- - Optimized UI behavior for touch devices diff --git a/program/steps/settings/save_prefs.inc b/program/steps/settings/save_prefs.inc index dfb2b13ac..945005d39 100644 --- a/program/steps/settings/save_prefs.inc +++ b/program/steps/settings/save_prefs.inc @@ -156,7 +156,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']; } |