Commit 552e6a1a authored by Robert Ricci's avatar Robert Ricci

Fix an ommision that was preventing the auto RSS header from getting

if the user was in admin mode.
parent 0db517b8
......@@ -25,6 +25,11 @@ if ($uid) {
$isadmin = 0;
}
# This is so that smart browsers like Firefox can detect the presence
# of an RSS feed.
$RSSAUTO = "<link rel=\"alternate\" type=\"application/rss+xml\" " .
"title=\"Emulab News\" href=\"$TBDOCBASE/news-rss.php3\" />";
if ($isadmin) {
if (isset($deletec)) {
$safeid = addslashes($deletec);
......@@ -53,7 +58,7 @@ if ($isadmin) {
return;
}
PAGEHEADER("News");
PAGEHEADER("News",NULL,$RSSAUTO);
if (isset($delete)) {
$delete = addslashes($delete);
......@@ -205,11 +210,7 @@ if ($isadmin) {
}
}
else {
# This is so that smart browsers like Firefox can detect the presence
# of an RSS feed.
$rssAuto = "<link rel=\"alternate\" type=\"application/rss+xml\" " .
"title=\"Emulab News\" href=\"$TBDOCBASE/news-rss.php3\" />";
PAGEHEADER("News",NULL,$rssAuto);
PAGEHEADER("News",NULL,$RSSAUTO);
}
?>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment