anchor.diff:  
   <script type="text/javascript" class="source">
   
  -    var is_query_finished = false;
  +    var is_all_queries_finished = false;
       var spanQueryTotalCount = parseInt(${spanQueryTotalCount});
       var finishedQueryCount = 0;
       var current_page_size = 10;
       var current_page_no = 1;
  +    var spanResultWaitingIntervalId = "";
   
       jQuery(document).ready(function(){
   
  
positive.code:                     jQuery("#progressbar").progressBar(percentage);
                      jQuery("#progressbar_status").html(finishedQueryCount + "/" + spanQueryTotalCount);
                  } else {
                      is_query_finished = true;
                      jQuery("#progressbar_div").hide();
                      enableExportAll();
                      updatePageNavBarAfterQueryFinish();
  
negative.code: 
      function loadResultData(page_size, page_num) {
  
          clearInterval(spanResultWaitingIntervalId);
  
          var from_index = (page_num - 1) * page_size; // the start index in the result map
          var to_index = page_num * page_size -1; // the end index in the result map
          if (to_index > spanQueryTotalCount)
              { to_index = spanQueryTotalCount - 1;}
  
          if (is_all_queries_finished == true || (finishedQueryCount - 1) > to_index) {
              paginationGetResult(from_index, to_index);
          }
  
          if ((finishedQueryCount - 1) < to_index) {
              spanResultWaitingIntervalId = setInterval(waitingForSpanResult, 500);
          }
  
          function waitingForSpanResult()
          {
            jQuery("#spanResultsTable > tbody").html('<img src="images/wait30.gif"/>');
            if ((finishedQueryCount - 1) >= to_index) {
                clearInterval(spanResultWaitingIntervalId);
                paginationGetResult(from_index, to_index);
            }
          }
      }
  
  