Thomas B.
2013-10-07 a3b85d7b8560cdc1057fcaffa3acbd247b4b5b7a
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'];
      }
    }