[pkg-fetchmail-maint] Bug#348037: acknowledged by developer (Bug#348037: fixed in fetchmail 6.3.1-3)

[Michael Guntsche]

>    [ Hector Garcia ]
>    * Moving fetchmail.pid instead of deleting it on upgrade to prevent
>      failure on first reboot (Closes: #348037).
>    * Fixed bug that emptyed /etc/default/fetchmail.

This bug still exists in 6.3.1-3.
Fetchmail runs under the user "fetchmail".
Therefore no /var/run/fetchmail.pid file gets created but a "/var/lib/ 
fetchmail/.fetchmail.pid" file.
/etc/init.d/fetchmail looks for the /var/run/fetchmail.pid file does  
not find it and cannot stop the fetchmail daemon.
I could either run fetchmail under the root account which I do not  
want to do or change the definition of the PIDFILE definition in /etc/ 
init.d/fetchmail.

Kind regards,
Michael Guntsche