1.1 --- a/src/Pure/General/socket_io.ML	Mon Oct 14 15:46:35 2013 +0200
     1.2 +++ b/src/Pure/General/socket_io.ML	Wed Oct 16 11:35:04 2013 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4      val rd =
     1.5        BinPrimIO.RD {
     1.6          name = name,
     1.7 -        chunkSize = Socket.Ctl.getRCVBUF socket,
     1.8 +        chunkSize = 4096,
     1.9          readVec = SOME (fn n => Socket.recvVec (socket, n)),
    1.10          readArr = SOME (fn buffer => Socket.recvArr (socket, buffer)),
    1.11          readVecNB = NONE,
    1.12 @@ -44,7 +44,7 @@
    1.13      val wr =
    1.14        BinPrimIO.WR {
    1.15          name = name,
    1.16 -        chunkSize = Socket.Ctl.getSNDBUF socket,
    1.17 +        chunkSize = 4096,
    1.18          writeVec = SOME (fn buffer => Socket.sendVec (socket, buffer)),
    1.19          writeArr = SOME (fn buffer => Socket.sendArr (socket, buffer)),
    1.20          writeVecNB = NONE,