From 201b92324802b9e04d01fb9dad015159c7f494ef Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Mon, 13 Sep 2021 19:59:39 +0200 Subject: [PATCH] Don't panic if heartbeat messages can't be sent Co-Authored-By: Max Brunsfeld --- zed/src/rpc.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zed/src/rpc.rs b/zed/src/rpc.rs index 1ac9c40161b1e9f3074c0abe52014212466fbbe1..501779c2b027913126b09a82f43bbde415bbc6c2 100644 --- a/zed/src/rpc.rs +++ b/zed/src/rpc.rs @@ -141,7 +141,7 @@ impl Client { state._maintain_connection = Some(cx.foreground().spawn(async move { loop { foreground.timer(heartbeat_interval).await; - this.request(proto::Ping {}).await.unwrap(); + let _ = this.request(proto::Ping {}).await; } })); }