Another reason for my suggestion is the following. It
seems that for large enough number of different
servers in the fetchmailrc file, it so happens that
one or more of them do not get resolved time to time
even for perfectly valid names. Probably some
temporary issues with the name server. I would find
it beneficial if the ones that get resolved also got
processed. As you see, the unresolved servers are due
to a temporary problem outside (at ISP or so) and thus
there is no need to shut everything down to avoid
'forever invisibly broken entries'.
F
--- "Eric S. Raymond" <esr(_at_)thyrsus(_dot_)com> 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.
--
<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.
__________________________________________________
Do You Yahoo!?
Get email at your own domain with Yahoo! Mail.
http://personal.mail.yahoo.com/