On Sat, Mar 17, 2001 at 11:18:11PM -0500, Eric S. Raymond wrote:
Frantisek Brabec <frb_97(_at_)yahoo(_dot_)com>:
Let's assume my .fetchmailrc file contains several
different servers to be polled. If any one of them
doesn't resolve (e.g., a typo in the name), it causes
fetchmail to exit and none of the servers gets polled.
Is it really necessary? Could we just skip the
troubled server and process all the others after all?
Bad idea. The entry could stay invisibly broken forever.
What about issue-ing an error message that server [servername] couldnt
resolve and then skip it?
Mipam.