From cff6778a03af680681e08726e352b735e0202066 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 23 Jan 2013 12:55:33 +0000
Subject: Coqide: limit read buffer size to 4096 (pipe size in win32)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16139 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ideutils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 8f54175519..1464181f41 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -287,7 +287,7 @@ let stat f =
     Note: In a mono-thread coqide, we use the same buffer for
     different read operations *)
 
-let maxread = 8192
+let maxread = 4096
 
 let read_string = String.create maxread
 let read_buffer = Buffer.create maxread
-- 
cgit v1.2.3