From 59b8192f946cc44f6e88f2bb904d96dab2187c27 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Sun, 26 Feb 2006 15:07:22 +0100 Subject: workaround for Opera cache of feeds/headlines panel; remove addheader param handling --- backend.php | 111 +++++++++++++++++++++++++++--------------------------------- 1 file changed, 50 insertions(+), 61 deletions(-) (limited to 'backend.php') diff --git a/backend.php b/backend.php index da9087f9c..b1b9e61f1 100644 --- a/backend.php +++ b/backend.php @@ -1,7 +1,7 @@ - Tiny Tiny RSS : Article $id - "; - - $user_theme = $_SESSION["theme"]; - if ($user_theme) { - print ""; - } + print " + Tiny Tiny RSS : Article $id + "; - if (get_pref($link, 'USE_COMPACT_STYLESHEET')) { - print ""; - } else { - print ""; - } + $user_theme = $_SESSION["theme"]; + if ($user_theme) { + print ""; + } - print " - - "; + if (get_pref($link, 'USE_COMPACT_STYLESHEET')) { + print ""; + } else { + print ""; } + print " + + "; + if ($result) { $line = db_fetch_assoc($result); @@ -1035,9 +1031,7 @@ "; } - if ($addheader) { - print ""; - } + print ""; } if ($op == "viewfeed") { @@ -1046,7 +1040,6 @@ $skip = $_GET["skip"]; $subop = $_GET["subop"]; $view_mode = $_GET["view"]; - $addheader = $_GET["addheader"]; $limit = $_GET["limit"]; if (!$feed) { @@ -1057,42 +1050,40 @@ if ($subop == "undefined") $subop = ""; - if ($addheader) { - print " - Tiny Tiny RSS : Feed $feed - "; - - $user_theme = $_SESSION["theme"]; - if ($user_theme) { - print ""; - } + print " + Tiny Tiny RSS : Feed $feed + "; - if (get_pref($link, 'USE_COMPACT_STYLESHEET')) { - print ""; + $user_theme = $_SESSION["theme"]; + if ($user_theme) { + print ""; + } - } else { - print ""; - } + if (get_pref($link, 'USE_COMPACT_STYLESHEET')) { + print ""; - print " - - - - - "; + } else { + print ""; } + print " + + + + + "; + if ($subop == "ForceUpdate" && sprintf("%d", $feed) > 0) { /* if (ENABLE_UPDATE_DAEMON) { @@ -1651,9 +1642,7 @@ } '; - if ($addheader) { - print ""; - } + print ""; } if ($op == "pref-rpc") { -- cgit v1.2.3