Fix min_refresh_interval handling on preferences save (#1489073)

Aleksander Machniak

2013-04-28 4cb8ced1a4ca32c6837e848dbfc585892b802f67

 program/steps/settings/save_prefs.inc

@@ -157,7 +157,7 @@
    $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 ($a_user_prefs['refresh_interval'] < $CONFIG['min_refresh_interval']) {
        $a_user_prefs['refresh_interval'] = $CONFIG['min_refresh_interval'];
      }
    }