On Sat, Nov 18, 2023 at 07:47:47PM +0700, Robert Elz wrote: > > Using getaddrinfo() would be much better of course.
That's what I have now....
--
Michael van Elst
Internet: [email protected]
"A potential Snark may lurk in every tree."
