search

pgpool / pgpool2

This is the official mirror of git://git.postgresql.org/git/pgpool2.git. Note that this is just a *mirror* - we don't work with pull requests on github. Please subscribe to pgpool-hackers mailing list from our website and submit your patch to this mailing list.
https://www.pgpool.net
Other
305 stars 87 forks source link

Fix pid_file error #36

Open maliangzhu opened 3 years ago

maliangzhu commented 3 years ago

if the 1st time pid is 12345 and then pid change to 78

the pidfile will show 78@45

pengbo0328 commented 3 years ago

Thank you for your patch. Your patch is committed: https://git.postgresql.org/gitweb/?p=pgpool2.git;a=commit;h=a8e6fbb887ad86f9c87b3f0b210eef1d35c6c62b

Because here is a official mirror of git://git.postgresql.org/git/pgpool2.git, we don't accept pull request here. For future bug reports please visit our Bug tracking system or submit patches to mailing list.