language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-01 05:11:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update dummy.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-09-14 16:12:49 +09:00
parent 988a9e2322
commit 08dfca20db
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/dummy.rs
View file

@ -51,7 +51,9 @@ impl Runnable for DummyVM {
break Some(stream);
}
Err(_) => {
println!("Retrying to connect to the REPL server...");
if !cfg.quiet_startup {
println!("Retrying to connect to the REPL server...");
}
sleep(Duration::from_millis(500));
continue;
}