| Fri, 24 Nov 2023 21:54:30 +0100 |
wenzelm |
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
|
file |
diff |
annotate
|
| Fri, 24 Nov 2023 15:58:24 +0100 |
wenzelm |
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2023 11:31:15 +0100 |
wenzelm |
clarified signature: more general make_streams;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2023 11:33:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 13:37:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 12:46:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 22:17:11 +0200 |
wenzelm |
more scalable byte messages, notably for Scala functions in ML;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 13:13:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 10 Feb 2019 22:24:22 +0100 |
wenzelm |
more robust: avoid duplicate Socket.close;
|
file |
diff |
annotate
|
| Wed, 19 Dec 2018 21:38:57 +0100 |
wenzelm |
more robust open/close bracket, but with potential danger of blocking indefinitely in uninterruptible state;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2018 16:40:03 +0200 |
wenzelm |
avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
|
file |
diff |
annotate
|
| 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
|