]> git.wh0rd.org - tt-rss.git/commitdiff
Merge branch 'master' into tunable-fetches
authorBarak Korren <barak.korren@gmail.com>
Mon, 1 Apr 2013 13:05:48 +0000 (16:05 +0300)
committerBarak Korren <barak.korren@gmail.com>
Mon, 1 Apr 2013 13:05:48 +0000 (16:05 +0300)
Conflicts:
include/rssfuncs.php

1  2 
include/functions.php
include/rssfuncs.php

Simple merge
index e3b1e44b21649040b3a9bdb0e5cf4bc1eb888a1c,5c37b7523d33447d389b16d71724e952526927de..ce197156c4603110d4c6c8d92f629fd16c5004ee
                                        _debug("update_rss_feed: fetching [$fetch_url] (ts: $cache_timestamp/$last_updated_timestamp)");
                                }
  
 +                              $force_refetch = isset($_REQUEST["force_refetch"]);
 +
                                $feed_data = fetch_file_contents($fetch_url, false,
-                                       $auth_login, $auth_pass, false, $no_cache ? 15 : 45,
+                                       $auth_login, $auth_pass, false, 
+                                       $no_cache ? FEED_FETCH_NO_CACHE_TIMEOUT : FEED_FETCH_TIMEOUT,
 -                                      max($last_updated_timestamp, $cache_timestamp));
 +                                      $force_refetch ? 0 : max($last_updated_timestamp, $cache_timestamp));
  
                                if ($debug_enabled) {
                                        _debug("update_rss_feed: fetch done.");