[Dovecot] Pid file?

[Clive Jones]

Is there a way to make Dovecot maintain a pid file? Most daemons
put their pid in /var/run/dovecot.pid (or similar) while they are
running, then remove it on exit, but I can't find any option to
do this in Dovecot.

(Of course, if I could work out how on earth to stop Dovecot
leaking processes, I wouldn't be looking for a simpler way to
keep bringing the daemon down and restarting it. (-8 )

Regards,

--Clive.