workaround for Opera cache of feeds/headlines panel; remove addheader param handling

1 files changed, 8 insertions, 2 deletions

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");