Sun, 10 Apr 2016 22:27:05 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Wed, 17 Feb 2016 23:06:24 +0100 | wenzelm | SML/NJ is no longer supported; | file | diff | annotate |
Wed, 16 Oct 2013 12:14:35 +0200 | wenzelm | avoid non-portable int constant -- make SML/NJ happy; | file | diff | annotate |
Wed, 16 Oct 2013 11:48:42 +0200 | wenzelm | prefer TCP_NODELAY -- avoid extra buffering due to Nagle's algorithm; | file | diff | annotate |
Wed, 16 Oct 2013 11:35:04 +0200 | wenzelm | basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely; | file | diff | annotate |
Thu, 10 Jan 2013 12:41:53 +0100 | wenzelm | recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x; | file | diff | annotate |
Wed, 21 Sep 2011 22:18:17 +0200 | wenzelm | alternative Socket_Channel; | file | diff | annotate |
Wed, 21 Sep 2011 17:50:25 +0200 | wenzelm | slightly more general Socket_IO as part of Pure; | file | diff | annotate |