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

Aleksander Machniak

2013-08-20 85ef036bbd7d77d6fc7deef4890af8671f689d41

 program/steps/settings/save_prefs.inc

@@ -160,7 +160,7 @@

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