diff options
author | Andrew Dolgov <[email protected]> | 2005-08-22 08:27:10 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2005-08-22 08:27:10 +0100 |
commit | 4fa3573e1a380827a15b56940b03c87af5787ca4 (patch) | |
tree | f68bb6a197b8c8b67010b7380e89de729c527caf | |
parent | 9197de1c62c07659e2a488ae14e9abb1cb20b1ab (diff) |
refresh button -> update button (forces refetch)
-rw-r--r-- | backend.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/backend.php b/backend.php index eed068709..5fe962c35 100644 --- a/backend.php +++ b/backend.php @@ -111,7 +111,8 @@ $line = pg_fetch_assoc($result); - if (!$ext && $line["update_timeout"] > MIN_UPDATE_TIME) { + if ($ext == "ForceUpdate" || + (!$ext && $line["update_timeout"] > MIN_UPDATE_TIME)) { update_rss_feed($link, $line["feed_url"], $feed); @@ -186,8 +187,11 @@ print "<a class=\"button\" href=\"javascript:viewfeed($feed, $next_skip);\">Next Page</a>"; print " "; +// print "<a class=\"button\" +// href=\"javascript:viewfeed($feed, $skip, '');\">Refresh</a>"; +// print " "; print "<a class=\"button\" - href=\"javascript:viewfeed($feed, $skip, '');\">Refresh</a>"; + href=\"javascript:viewfeed($feed, 0, 'ForceUpdate');\">Update</a>"; print " Mark as read: "; print "<a class=\"button\" href=\"javascript:viewfeed($feed, $skip, 'MarkPageRead');\">This Page</a>"; |