Mailing lists [pgsql-bugs]

1 December 2014

• 05:07   Re: BUG #12072: init script creates pid file with wrong owner Sandeep Thakkar
• 06:09   Re: BUG #12072: init script creates pid file with wrong owner John R Pierce
• 15:25   BUG #12108: Documentation: Limitation of shell types not mentioned bouda@edookit.com
• 15:26   Re: BUG #12072: init script creates pid file with wrong owner Henrik Størner
• 15:41   Re: BUG #12072: init script creates pid file with wrong owner Tom Lane
• 21:35   Re: BUG #12072: init script creates pid file with wrong owner Henrik Størner
• 23:32   Re: BUG #12072: init script creates pid file with wrong owner Devrim Gündüz