do not schedule catchup batch request when infscroll request is in progress

diff --git a/viewfeed.js b/viewfeed.js
index df96f9d12920470b573796326e0a40569e33a152..3522284da695346b6af66f9c70e801e863636788 100644 (file)
--- a/viewfeed.js
+++ b/viewfeed.js
@@ -1375,7 +1375,7 @@ function headlines_scroll_handler(e) {
                                        }
                                });
 
-                       if (catchup_id_batch.length > 0) {
+                       if (catchup_id_batch.length > 0 && !_infscroll_request_sent) {
                                window.clearTimeout(catchup_timeout_id);
                                catchup_timeout_id = window.setTimeout('catchupBatchedArticles()',
                                                1000);