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: mlelstv%serpens.de@localhost
"A potential Snark may lurk in every tree."