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

Aleksander Machniak

2013-08-20 896aa0d6044799a37542e3505eb38cd67b1a1f51

 program/steps/settings/save_prefs.inc

@@ -156,8 +156,8 @@

    $a_user_prefs['timezone'] = (string) $a_user_prefs['timezone'];

    if (isset($a_user_prefs['refresh_interval']) && !empty($CONFIG['min_refresh_interval'])) {
      if ($a_user_prefs['refresh_interval'] > $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'];
      }
    }