From 187ef703f28970069109efd15f046fa45d063e54 Mon Sep 17 00:00:00 2001 From: Astro Date: Wed, 10 Jun 2020 20:21:01 +0200 Subject: [PATCH] experiments: use stream.close() instead of .flush() --- experiments/src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experiments/src/main.rs b/experiments/src/main.rs index 6fa9b79..8d1a01d 100644 --- a/experiments/src/main.rs +++ b/experiments/src/main.rs @@ -247,7 +247,7 @@ pub fn main_core0() { .await? } } - let _ = stream.flush().await; + let _ = stream.close().await; Ok(()) }