From a4c8e3e408f43d625ab22aaacd53b13cd2e3ca00 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 19 Mar 2013 16:21:23 +0100
Subject: [PATCH] close input of subprocess once stdin has been sent to it

---
 futures.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/futures.ml b/futures.ml
index 8fffdbcb..6c1d10ac 100644
--- a/futures.ml
+++ b/futures.ml
@@ -343,6 +343,7 @@ let spawn_process ?(pool=default_pool) ?(stdin="") ~cmd =
       output_string inp stdin;
       (* send stdin to command *)
       flush inp;
+      close_out inp;
       (* read output of process *)
       let out' = slurp out in
       let err' = slurp err in