From 2d66c7d508f6bd198969012241082e34a5b6047c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 11 Dec 2014 14:27:46 +0100
Subject: CThread: use a different type for thread friendly in_channels

---
 lib/cThread.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib/cThread.ml')

diff --git a/lib/cThread.ml b/lib/cThread.ml
index 19f14637de..7a3f152003 100644
--- a/lib/cThread.ml
+++ b/lib/cThread.ml
@@ -6,8 +6,10 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
+type thread_ic = in_channel
+
 let prepare_in_channel_for_thread_friendly_io ic =
-  Unix.set_nonblock (Unix.descr_of_in_channel ic)
+  Unix.set_nonblock (Unix.descr_of_in_channel ic); ic
 
 let safe_wait_timed_read fd time =
   try Thread.wait_timed_read fd time
-- 
cgit v1.2.3