For the record, upstream was aware of this problem and fixed their init script[0], this fix wasn't picked by the deb package.
[0] https://github.com/puppetlabs/puppet/commit/5a23d8b95bf05584dd8a9cba5aab13dfc029707a -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1315021 Title: Service restart fails because process has not exited To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/puppetmaster/+bug/1315021/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
