Jurjen Bokma <j.bo...@rug.nl> writes: > ** Patch added: "Patch to make Puppet initscript find the PID of the daemon" > > https://bugs.launchpad.net/bugs/1397898/+attachment/4271933/+files/puppet-init.patch
That's a delightfully evil hack. Will using an upstart job work instead, or do you need to keep track of the PID there, as well (something for post-start, then)? -- Stig Sandbeck Mathisen -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to puppet in Ubuntu. https://bugs.launchpad.net/bugs/1397898 Title: incorrect PID in initscript To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/puppet/+bug/1397898/+subscriptions -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs