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

diff --git a/viewfeed.js b/viewfeed.js
index 3522284da695346b6af66f9c70e801e863636788..3a21323da1f208b92d8bd2811d298796d7e1c8c7 100644 (file)
--- a/viewfeed.js
+++ b/viewfeed.js
@@ -1389,7 +1389,7 @@ function headlines_scroll_handler(e) {
 
 function catchupBatchedArticles() {
        try {
-               if (catchup_id_batch.length > 0) {
+               if (catchup_id_batch.length > 0 && !_infscroll_request_sent) {
 
                        var query = "?op=rpc&subop=catchupSelected" +
                                "&cmode=0&ids=" + param_escape(catchup_id_batch.toString());