mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

give josh more time to start

Browse Source
This commit is contained in:
Ralf Jung 2023-09-06 08:04:20 +02:00
parent f2568c8316
commit 83ae1e6d35
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/miri-script/src/commands.rs
View File

@ -102,8 +102,8 @@ fn start_josh() -> Result<impl Drop> {
cmd.stdout(process::Stdio::null()); cmd.stdout(process::Stdio::null());
cmd.stderr(process::Stdio::null()); cmd.stderr(process::Stdio::null());
let josh = cmd.spawn().context("failed to start josh-proxy, make sure it is installed")?; 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.) // Give it some time so hopefully the port is open. (100ms was not enough.)
thread::sleep(time::Duration::from_millis(100)); thread::sleep(time::Duration::from_millis(200));
// Create a wrapper that stops it on drop. // Create a wrapper that stops it on drop.
struct Josh(process::Child); struct Josh(process::Child);