| Fri, 24 Nov 2023 18:23:45 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 24 Nov 2023 16:17:29 +0100 | wenzelm | prefer Unix-domain socket on Unix; | changeset | files |
| Fri, 24 Nov 2023 15:58:24 +0100 | wenzelm | support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel; | changeset | files |
| Fri, 24 Nov 2023 14:11:01 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 24 Nov 2023 11:31:15 +0100 | wenzelm | clarified signature: more general make_streams; | changeset | files |
| Fri, 24 Nov 2023 11:33:53 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 24 Nov 2023 11:10:31 +0100 | wenzelm | more robust exception handling (amending 8cc1ae43e12e); | changeset | files |
| Thu, 23 Nov 2023 11:40:49 +0100 | wenzelm | clarified signature: avoid deprecated URL constructors; | changeset | files |