prefetch topmost articles on headlines load

1 files changed, 10 insertions, 2 deletions

diff --git a/backend.php b/backend.php
index 6f37085fa..1af01a7b8 100644
--- a/backend.php
+++ b/backend.php
@@ -195,11 +195,19 @@
 
 		print "<headlines id=\"$feed\"><![CDATA[";
 
-		outputHeadlinesList($link, $feed, $subop, $view_mode, $limit, $cat_view,
-			$next_unread_feed, $offset);
+		$topmost_article_ids = outputHeadlinesList($link, $feed, $subop, 
+			$view_mode, $limit, $cat_view, $next_unread_feed, $offset);
 
 		print "]]></headlines>";
 
+		if (is_array($topmost_article_ids)) {
+			print "<articles>";
+			foreach ($topmost_article_ids as $id) {
+				outputArticleXML($link, $id, $feed, false);
+			}
+			print "</articles>";
+		}
+
 		print "<counters>";
 		getAllCounters($link, $omode);
 		print "</counters>";