# HG changeset patch
# User Christophe Lincoln
# Date 1301499650 -7200
# Node ID b71d2e7bc0c458ad0f02de83539642489b0af495
# Parent 9fe28fd9160ccc2cff0cb73d54ffd472e9b0231c
get-feed.php: make home page work even without rss files
diff -r 9fe28fd9160c -r b71d2e7bc0c4 libs/get-feed.php
--- a/libs/get-feed.php Wed Mar 30 17:27:20 2011 +0200
+++ b/libs/get-feed.php Wed Mar 30 17:40:50 2011 +0200
@@ -1,24 +1,28 @@
channel->item->pubDate);
- echo "Updated: " . substr("$up", 5, 17) . "\n";
- echo "
\n\n
\n";
- foreach($x->channel->item as $entry) {
- $count = $count + 1;
- echo " - " .
- $entry->title . "
\n";
- if ($count == $entries) {
- break;
+ if ( ! file_exists($feed_url)) {
+ echo "\n\n";
+ echo "No feed: $feed_url\n" . "
\n";
+ }
+ else {
+ $content = file_get_contents($feed_url);
+ $x = new SimpleXmlElement($content);
+ $entries = 4;
+ $count = 0;
+ // We look for last item, channel may not have a PubDate*
+ $up = ($x->channel->item->pubDate);
+ echo "Updated: " . substr("$up", 5, 17) . "\n";
+ echo "\n\n
\n";
+ foreach($x->channel->item as $entry) {
+ $count = $count + 1;
+ echo " - " .
+ $entry->title . "
\n";
+ if ($count == $entries) {
+ break;
+ }
}
+ echo "
\n";
}
- echo "\n";
}
-
?>