From 4fa3573e1a380827a15b56940b03c87af5787ca4 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.spb.ru>
Date: Mon, 22 Aug 2005 08:27:10 +0100
Subject: [PATCH] refresh button -> update button (forces refetch)

---
 backend.php | 8 ++++++--
 1 file 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 "&nbsp;";
+//		print "<a class=\"button\" 
+//			href=\"javascript:viewfeed($feed, $skip, '');\">Refresh</a>";
+//		print "&nbsp;";
 		print "<a class=\"button\" 
-			href=\"javascript:viewfeed($feed, $skip, '');\">Refresh</a>";
+			href=\"javascript:viewfeed($feed, 0, 'ForceUpdate');\">Update</a>";
 		print "&nbsp;&nbsp;Mark as read: ";
 		print "<a class=\"button\" 
 			href=\"javascript:viewfeed($feed, $skip, 'MarkPageRead');\">This Page</a>";