wenzelm [Fri, 24 Nov 2023 19:42:53 +0100] rev 79052
workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text;
wenzelm [Fri, 24 Nov 2023 18:23:45 +0100] rev 79051
tuned;
wenzelm [Fri, 24 Nov 2023 16:17:29 +0100] rev 79050
prefer Unix-domain socket on Unix;
wenzelm [Fri, 24 Nov 2023 15:58:24 +0100] rev 79049
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
wenzelm [Fri, 24 Nov 2023 14:11:01 +0100] rev 79048
tuned;
wenzelm [Fri, 24 Nov 2023 11:31:15 +0100] rev 79047
clarified signature: more general make_streams;
wenzelm [Fri, 24 Nov 2023 11:33:53 +0100] rev 79046
tuned;
wenzelm [Fri, 24 Nov 2023 11:10:31 +0100] rev 79045
more robust exception handling (amending 8cc1ae43e12e);
wenzelm [Thu, 23 Nov 2023 11:40:49 +0100] rev 79044
clarified signature: avoid deprecated URL constructors;
wenzelm [Thu, 23 Nov 2023 11:36:38 +0100] rev 79043
avoid deprecated URL constructors;