diff options
Diffstat (limited to 'cli/main.rs')
-rw-r--r-- | cli/main.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cli/main.rs b/cli/main.rs index 4546bc374..6bae9c2d7 100644 --- a/cli/main.rs +++ b/cli/main.rs @@ -447,7 +447,9 @@ async fn run_repl(flags: Flags) -> Result<(), AnyError> { result = &mut repl => { return result; } - _ = &mut *worker => {} + _ = &mut *worker => { + tokio::time::delay_for(tokio::time::Duration::from_millis(10)).await; + } } } } |