diff options
author | HimbeerserverDE <himbeerserverde@gmail.com> | 2023-11-25 11:53:41 +0100 |
---|---|---|
committer | HimbeerserverDE <himbeerserverde@gmail.com> | 2023-11-25 11:53:41 +0100 |
commit | df6d4368033752f817dd3a7d10830a71e34e1444 (patch) | |
tree | 273452ceeded11f3170d707bdb19a32793d892d1 | |
parent | 78026dbf78c66d4c0e465ce40524fa71e9c80329 (diff) |
shorten ppp waiting delay
-rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index 246dcf0..faee6c8 100644 --- a/src/main.rs +++ b/src/main.rs @@ -143,7 +143,7 @@ async fn main() -> Result<()> { if e.raw_os_error() == Some(19) { // "No such device" doesn't have an ErrorKind. already_up = false; - sleep(Duration::from_secs(8)).await; + sleep(Duration::from_secs(1)).await; } else { return Err(e.into()); } |