remove superfluous flush

This commit is contained in:
Simon Cruanes 2024-02-17 12:03:35 -05:00
parent bafa9280ed
commit 5cb6744f1e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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 }