[fetchmail-users] PATCH: EXPERIMENTAL: fix lost POP3 deletes

[Matthias A. <mat...@gm...>]

Greetings,

Frederic Marchal found a problem with POP3 deletes when --flush and
--keep are both unset and UIDL is used for the connection:

If fetchmail sends a DELE command, but the POP3 connection aborts before
the QUIT command can be sent, then fetchmail will skip the messages on
the server and leaving them there forever.

The patch below is somewhat intrusive but attempts to fix this. It
changes the .fetchids file format, adding " DELETED" to UID lines of
deleted messages when the QUIT hasn't been acknowledged. This should
make fetchmail retry the delete on the next run.

Please test.

Opinions? Let it go in now or wait until 6.4.0?

-- 
Matthias Andree