do not die if DEFAULT_UPDATE_INTERVAL is not found

master
Andrew Dolgov 18 years ago
parent abe4d057f3
commit e289ca7159

@ -178,7 +178,7 @@
$upd_intl = $line["update_interval"];
if (!$upd_intl || $upd_intl == 0) {
$upd_intl = get_pref($link, 'DEFAULT_UPDATE_INTERVAL', $user_id);
$upd_intl = get_pref($link, 'DEFAULT_UPDATE_INTERVAL', $user_id, false);
}
if ($upd_intl < 0) {

Loading…
Cancel
Save