From c255be2bfd521fdfe565307b068526ab15d42089 Mon Sep 17 00:00:00 2001 From: dark0dave Date: Sat, 2 Dec 2023 15:58:48 +0000 Subject: [PATCH] chore(noise): Be less noisy, there is already alot of output Signed-off-by: dark0dave --- src/weidu.rs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/weidu.rs b/src/weidu.rs index c255922..fcad5ff 100644 --- a/src/weidu.rs +++ b/src/weidu.rs @@ -103,17 +103,13 @@ pub fn handle_io(mut child: Child) -> InstallationResult { } } Err(TryRecvError::Empty) => { - log::info!("Waiting for child process to end"); log::info!("{}\r", ".".repeat(wait_counter)); std::io::stdout().flush().expect("Failed to flush stdout"); wait_counter += 1; wait_counter %= 10; - sleep(500); + sleep(1000); - log::info!( - "\r \r" - ); std::io::stdout().flush().expect("Failed to flush stdout"); } Err(TryRecvError::Disconnected) => break,