update

backend-cli.py

@@ -278,6 +278,18 @@ if __name__ == "__main__":
         res = process_pending_requests()
         time.sleep(60)
 
+    if res is False:
+        if random.randint(0, 5) == 0:
+            res = maybe_refresh_results(1000, hard_task_lst=hard_task_lst)
+        else:
+            res = process_finished_requests(1000, hard_task_lst=hard_task_lst)
+
+    if res is False:
+        if random.randint(0, 5) == 0:
+            res = maybe_refresh_results(200, hard_task_lst=hard_task_lst)
+        else:
+            res = process_finished_requests(200, hard_task_lst=hard_task_lst)
+
     if res is False:
         if random.randint(0, 5) == 0:
             res = maybe_refresh_results(100, hard_task_lst=hard_task_lst)