fetching mail for multiple servers

[Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann)]

Right now, the algorithm for fetching mail is to go through all
servers in order.  For each server, check if it gets mail.  If so,
fetch mail from mail-sources and split it according to
nnmail-split-methods.

This means if there are two servers that get mail, Gnus fetches mail
for both of them but when processing the second one, no new mail is
left.

I suggest to add the following backward-compatible feature to Gnus:
when fetching mail for a server, look at server parameters
mail-sources and nnmail-split-methods.  If the server parameter is
set, use it, else use the value of the global variable instead.

This means that people could do something like this:

(setq gnus-secondary-select-methods
      '((nnml "work"
         (nnml-directory "~/workmail/")
         (mail-sources '((pop :server "work.pop.server"))))
        (nnml "play"
         (nnml-directory "~/privatemail/")
         (mail-sources '((pop :server "private.pop.server"))))))

Mail from work.pop.server ends up in nnml+work:mail.misc and mail from
private.pop.server ends up in nnml+play:mail.misc.

Does this sound useful?

kai

PS: Maybe we need a setting for the server parameters which means
    `really use nil and don't look at the global variable'.  Maybe
    `none' would be a good value for this.
-- 
I like BOTH kinds of music.