From ba7a1752dbe4725c7bce41e0726b483274ff2f41 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20N=2E=20Robalino?= Date: Thu, 16 Jan 2020 06:27:12 -0500 Subject: [PATCH] Poll externals quicker. (#1231) --- src/commands/classified/external.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commands/classified/external.rs b/src/commands/classified/external.rs index 0427b0659..b40392975 100644 --- a/src/commands/classified/external.rs +++ b/src/commands/classified/external.rs @@ -349,7 +349,7 @@ async fn spawn( loop { match popen.poll() { - None => std::thread::sleep(std::time::Duration::new(0, 100_000_000)), + None => futures_timer::Delay::new(std::time::Duration::from_millis(10)).await, Some(status) => { if !status.success() { yield Ok(Value {