From 59b8192f946cc44f6e88f2bb904d96dab2187c27 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Sun, 26 Feb 2006 15:07:22 +0100
Subject: workaround for Opera cache of feeds/headlines panel; remove addheader
 param handling

---
 feedlist.js | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'feedlist.js')

diff --git a/feedlist.js b/feedlist.js
index 7dcb68fa2..5610c2908 100644
--- a/feedlist.js
+++ b/feedlist.js
@@ -101,8 +101,14 @@ function viewfeed(feed, skip, subop, doc) {
 		var headlines_frame = parent.frames["headlines-frame"];
 	
 	//	alert(headlines_frame)
-	
-		headlines_frame.location.href = query + "&addheader=true";
+
+		if (navigator.userAgent.match("Opera")) {
+			var date = new Date();
+			var timestamp = Math.round(date.getTime() / 1000);
+			query = query + "&ts=" + timestamp
+		}
+
+		headlines_frame.location.href = query;
 	
 		cleanSelectedList("feedList");
 	
-- 
cgit v1.2.3