diff --git a/tools/codegen/src/main.rs b/tools/codegen/src/main.rs index 5790eb45..388d48ba 100644 --- a/tools/codegen/src/main.rs +++ b/tools/codegen/src/main.rs @@ -402,17 +402,19 @@ fn download(url: &str) -> Result { Ok(res) => return Ok(res), Err(e) => last_error = Some(e), } - if token1.is_some() { - token1 = None; - } else if token2.is_some() { - token2 = None; + if retry == 3 || retry == 6 { + if token1.is_some() { + token1 = None; + } else if token2.is_some() { + token2 = None; + } } retry += 1; if retry > 10 { break; } eprintln!("download failed; retrying ({retry}/10)"); - std::thread::sleep(Duration::from_secs(retry * 4)); + std::thread::sleep(Duration::from_secs(retry * 2)); } Err(last_error.unwrap().into()) }