From 5ad63aed299e44f2c006e71a7a02c71b14e8e9ee Mon Sep 17 00:00:00 2001
From: Mengran Lan <lanmengran@qq.com>
Date: Fri, 31 May 2024 10:41:45 +0800
Subject: [PATCH] sleep 10s when failed to fetch task from coordinator

---
 prover_rust/src/task_processor.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prover_rust/src/task_processor.rs b/prover_rust/src/task_processor.rs
index 217105208..8d533cc8f 100644
--- a/prover_rust/src/task_processor.rs
+++ b/prover_rust/src/task_processor.rs
@@ -35,7 +35,7 @@ impl<'a> TaskProcessor<'a> {
             None => {
                 let fetch_result = self.prover.fetch_task();
                 if let Err(err) = fetch_result {
-                    // TODO: time.sleep
+                    std::thread::sleep(core::time::Duration::from_secs(10));
                     return Err(err).context("failed to fetch task from coordinator");
                 }
                 let task_wrapper: TaskWrapper = fetch_result.unwrap().into();