Okay, it looks like FetchMail has a check for this that goes like:

        // if we are already fetching then just return
        if (fetching) return;
        fetching = true;

        ...
        fetching = false;
        
May I suggest though the more robust scheme:
     try {
        // if we are already fetching then just return
        if (fetching) return;
        fetching = true;

        ...
     } finally {
        fetching = false;
     }

This will ensure that fetching is set to false, even if some runtime exception 
is thrown, and thereby ensuring that FetchMail is actually fetching after 
that.

I read from the response mails to my original post, that because FetchPop is 
being deprecated, the patches for that are not wanted, okay. 
I just keep my local patched version until a time where I can make the switch 
to FetchMail then.

--S�ren

On Friday 12 September 2003 18:56, Steve Brewin wrote:
> Soeren
>
> Yes, this is a problem with fetchPOP and the earlier versions of fetchmail.
>
> It is not a problem with the version of fetchmail in v2.2.0a10. In this
> version, if a new run of a fetch task is triggered while another is still
> running, the new run is skipped.
>
> Thrown exceptions stopping all message fetching is also fixed in this
> version, as are many other small and
> not so small issues.
>
> Which ever timer you use with fetchPOP you will still want to ensure that
> whatever happens...
>
> 1) a new fetch task never runs before the old one has completed
> 2) if the old fetch task fails a new one will run.
>
> All in all you might find it easier to switch to the new fetchmail as
> fetchPOP is being deprecated.
>
> Any help wringing the bugs out of that would be appreciated.
>
> -- Steve
>
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: [EMAIL PROTECTED]
> For additional commands, e-mail: [EMAIL PROTECTED]

-- 
S�ren Hilmer, M.Sc.
R&D manager             Phone:  +45 70 27 64 00
TietoEnator IT+ A/S     Fax:    +45 70 27 64 40
Ved Lunden 12           Direct: +45 87 46 64 57
DK-8230 �byh�j          Email:  [EMAIL PROTECTED]


---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to