diff options
| -rw-r--r-- | src/tools/miri/miri-script/src/commands.rs | 4 |
1 files 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 @@ impl Command { 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); |