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.
--
<a href="http://www.tuxedo.org/~esr/";>Eric S. Raymond</a>
"As to the species of exercise, I advise the gun. While this gives
[only] moderate exercise to the body, it gives boldness, enterprise,
and independence to the mind. Games played with the ball and others
of that nature, are too violent for the body and stamp no character on
the mind. Let your gun, therefore, be the constant companion to your
walks."
-- Thomas Jefferson, writing to his teenaged nephew.