do not die if DEFAULT_UPDATE_INTERVAL is not found

diff --git a/functions.php b/functions.php
index 1475bc053963c3e2cefacfc4b7e18840470d3f45..e408376b5b0e6c98bf9b7fa2442ef006b0a1a504 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -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) {