From ad7efe6016db737996c251d5d94e2f65a6d9f448 Mon Sep 17 00:00:00 2001 From: mikeworks Date: Sun, 26 Sep 2010 22:55:52 +0000 Subject: [PATCH] rssTerminal.html: Fixing the 'null' is null or not an object in rss2.js when viewing the YaCy default Status page http://localhost:8080/Status.html with Internet Explorer feed.xml: copy of feed.rss that helps Internet Explorer also read the Feed - workaround for the fix above Problem is described in the forums and should be fixed better ;-(http://forum.yacy-websuche.de/viewtopic.php?f=6&t=2766&p=20702) git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@7196 6c8d7289-2bf4-0310-a012-ef5d649a1542 --- htroot/api/feed.xml | 21 +++++++++++++++++++++ htroot/rssTerminal.html | 9 ++++++++- 2 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 htroot/api/feed.xml diff --git a/htroot/api/feed.xml b/htroot/api/feed.xml new file mode 100644 index 000000000..240028d12 --- /dev/null +++ b/htroot/api/feed.xml @@ -0,0 +1,21 @@ + + + + + +#[channel_title]# +#[channel_description]# +#[channel_pubDate]# + + +#{item}# + +#[title]# +#[link]# +#[description]# +#[pubDate]# +#[guid]# + +#{/item}# + + diff --git a/htroot/rssTerminal.html b/htroot/rssTerminal.html index e08591f79..5da249751 100755 --- a/htroot/rssTerminal.html +++ b/htroot/rssTerminal.html @@ -123,7 +123,14 @@ function idlepingExec() { } function load() { - getRSS("/api/feed.rss?count=80&set=" + set + "&requestCount=" + requestCount + "&time=" + (new Date()).getTime()); + /* Check for Internet Explorer to use feed.xml instead of feed.rss fixing a problem with reading from the RSS Feed file which results in a null reference */ + /* Problem is described in the forums and should be fixed by changing the MIME-Type for .rss files in the YaCy HTTPd */ + if (navigator.appName=="Microsoft Internet Explorer") + { + getRSS("/api/feed.xml?count=80&set=" + set + "&requestCount=" + requestCount + "&time=" + (new Date()).getTime()); + } else { + getRSS("/api/feed.rss?count=80&set=" + set + "&requestCount=" + requestCount + "&time=" + (new Date()).getTime()); + } requestCount++; }