feature request for setting alternative pidfile

[Bjoern Jacke]

Hi,

because of an unsupported combination of configuration parameters for
different dovecot services I looked into setting up two dovecot
instances with different configurations on the same host. It looks like
running two different dovecot instances on the same host is not easily
possible because the pidfile seems to be hard-coded and there is no way
to tell dovecot to use a different one, right? It would be great if this
could be made customizable.

Björn