From 83ae1e6d35c6f7d4ecabc190c5d79f669ef4b2bd Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 6 Sep 2023 08:04:20 +0200 Subject: [PATCH] give josh more time to start --- src/tools/miri/miri-script/src/commands.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index b7031d9a3ee..e7a5b559195 100644 --- a/src/tools/miri/miri-script/src/commands.rs +++ b/src/tools/miri/miri-script/src/commands.rs @@ -102,8 +102,8 @@ fn start_josh() -> Result { cmd.stdout(process::Stdio::null()); cmd.stderr(process::Stdio::null()); let josh = cmd.spawn().context("failed to start josh-proxy, make sure it is installed")?; - // Give it some time so hopefully the port is open. (10ms was not enough.) - thread::sleep(time::Duration::from_millis(100)); + // Give it some time so hopefully the port is open. (100ms was not enough.) + thread::sleep(time::Duration::from_millis(200)); // Create a wrapper that stops it on drop. struct Josh(process::Child);