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
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/ 5a23d8b95bf0558 4dd8a9cba5aab13 dfc029707a