From 1a2fcd200254665207113046fa97f11c0017afce Mon Sep 17 00:00:00 2001 From: Maximilian Schneider Date: Wed, 7 Sep 2022 04:14:14 +0200 Subject: [PATCH] try ignoring error --- service-mango-fills/src/main.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/service-mango-fills/src/main.rs b/service-mango-fills/src/main.rs index c80d993..845f6ee 100644 --- a/service-mango-fills/src/main.rs +++ b/service-mango-fills/src/main.rs @@ -57,7 +57,9 @@ async fn handle_connection( info!("ws disconnected: {} err: {:?}", &addr, result_forward); peer_map.lock().unwrap().remove(&addr); result_ckpt.unwrap(); - result_forward.unwrap(); + // disconnecting the socket can result in an error in result_forward. + // unwrapping it can cause a panic in tokyo, ignore error for now + // result_forward.unwrap(); } #[derive(Clone, Debug, Deserialize)]