- Fix setting refresh_interval to "Never" in Preferences (#1489286)

Conflicts:

	CHANGELOG

CHANGELOG

@@ -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

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'];
       }