Re: Fetching mail from a pop3 account

[Wolfgang Pausch]

Hello Reiner,

> I'd suggest to add logging to you script.  And verify that it is
> really called when you hit `g'.  E.g. add ...
> 
> exec 2> $HOME/get-all-mail.log
> set -x
> 
> ... near the beginning of your script.

I already verified that it is not called.  (added some simple touch command 
which would create some not yet existing file).
 
> You could also edebug the function `mail-source-fetch-pop'.

Ok, I just started with edebugging.  What I found out so far:

When I hit g, gnus-group-get-new-news is called.  I can edebug it, everything 
seems to be fine to me.

However, mail-source-fetch-pop is never called.  mail-source-fetch should call 
mail-source-fetch-pop, but isn't called either. nnmail-get-new-mail should call 
mail-source-fetch-pop, but isn't called either.

Here, I don't know how to inspect things further.  When I search for calls of 
mail-source-fetch-pop, I get some odd forms deffoo 

mail-source-fetch-pop is never called

> 
> Bye, Reiner.
> -- 
>        ,,,
>       (o o)
> ---ooO-(_)-Ooo---  |  PGP key available  |  http://rsteib.home.pages.de/
> _______________________________________________
> info-gnus-english mailing list
> info-gnus-english@gnu.org
> http://lists.gnu.org/mailman/listinfo/info-gnus-english

-- 
GRATIS für alle GMX-Mitglieder: Die maxdome Movie-FLAT!
Jetzt freischalten unter http://portal.gmx.net/de/go/maxdome01