mirror of
https://github.com/postgres/postgres.git
synced 2025-06-15 00:01:49 -04:00
followed by seeing EOF from client. If we want a safe session-kill capability we will need to write one, not break our error handling mechanism.