diff options
| author | Andrew Dolgov <[email protected]> | 2005-10-26 02:30:05 +0100 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2005-10-26 02:30:05 +0100 |
| commit | 7f2ee7952b665c0384bc0390167a3a30d6fb3599 (patch) | |
| tree | b20edd0931ccfe7bb9e203334bbba71721e4a760 | |
| parent | 4529197a2f53eb70474dd36adf58a16c9be041a0 (diff) | |
MIN_UPDATE_INTERVAL -> DEFAULT_UPDATE_INTERVAL
| -rw-r--r-- | config.php-dist | 4 | ||||
| -rw-r--r-- | functions.php | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/config.php-dist b/config.php-dist index 2da53f433..6fc6af7fd 100644 --- a/config.php-dist +++ b/config.php-dist @@ -30,8 +30,8 @@ // crafted SQL queries. This feature is highly experimental and // at this point not user friendly. Use with caution. - define(MIN_UPDATE_INTERVAL, 30); - // min. interval between feed updates, minutes + define(DEFAULT_UPDATE_INTERVAL, 30); + // default interval between feed updates, minutes define(DISPLAY_HEADER, true); // enable/disable the display of the header graphic diff --git a/functions.php b/functions.php index 2176b8b77..f8fb75a5c 100644 --- a/functions.php +++ b/functions.php @@ -31,7 +31,7 @@ while ($line = db_fetch_assoc($result)) { $upd_intl = $line["update_interval"]; - if (!$upd_intl) $upd_intl = MIN_UPDATE_INTERVAL; + if (!$upd_intl || $upd_intl == 0) $upd_intl = DEFAULT_UPDATE_INTERVAL; if (!$line["last_updated"] || time() - strtotime($line["last_updated"]) > ($upd_intl * 60)) { |