[Pkg-puppet-devel] pid path inconsistent between /etc/init.d/puppet and "puppetd --genconfig" and no /etc/puppet/puppet.conf to override it

[Tom H]

HI

it looks like package 2.6.0 from squeeze has a different pid path
specified in the init.d script and the defaults that are in use, this
appears to prevent the service being restarted using the /sbin/service
command

the init script is using;
$ cat /etc/init.d/puppet | grep -i pid
PIDFILE="/var/run/puppet/${NAME}.pid"

# puppetd --genconfig | grep pid
     # The pid file
     # The default value is '$rundir/$name.pid'.
     pidfile = /var/lib/puppet/run/agent.pid

So the init.d script can't kill puppet.

Cheers,

Tom