Merge pull request #177 from inhabitedtype/rm-flush-response-body

rm-flush-response-body: inline it
inhabitedtype · May 7, 2020 · e346a1e · e346a1e
2 parents e51aaac + 3fa50f6
commit e346a1e
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/lib/server_connection.ml b/lib/server_connection.ml
@@ -268,15 +268,12 @@ let read t bs ~off ~len =
 let read_eof t bs ~off ~len =
   read_with_more t bs ~off ~len Complete
 
-let flush_response_body t =
-  if is_active t then
-    let reqd = current_reqd_exn t in
-    Reqd.flush_response_body reqd
-;;
-
 let next_write_operation t =
   advance_request_queue_if_necessary t;
-  flush_response_body t;
+  if is_active t
+  then (
+    let reqd = current_reqd_exn t in
+    Reqd.flush_response_body reqd);
   Writer.next t.writer
 
 let report_write_result t result =