Rob Janssen wrote: > However, a "when the server is dead for some time and it was configured > with a DNS name rather than a fixed address, do a new DNS lookup and try > again"
Doing a lookup regardless of whether the server is dead would additionally help people who want to move servers to new IP addresses. Just only do the lookup once a day or so (at a random time for each server), to minimize instability. _______________________________________________ timekeepers mailing list [email protected] https://fortytwo.ch/mailman/cgi-bin/listinfo/timekeepers
