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."