From 5cb6744f1ed9ed441e53071c7873e4aaf59c26eb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 17 Feb 2024 12:03:35 -0500 Subject: [PATCH] remove superfluous flush --- src/fuseau/tiny_httpd_fuseau.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/fuseau/tiny_httpd_fuseau.ml b/src/fuseau/tiny_httpd_fuseau.ml index e975c727..597b6840 100644 --- a/src/fuseau/tiny_httpd_fuseau.ml +++ b/src/fuseau/tiny_httpd_fuseau.ml @@ -87,8 +87,7 @@ module Server = struct off := !off + n; i := !i + n; len := !len - n - done; - maybe_flush () + done in { output; output_char; flush; close }