On Thursday, October 16, 2025, PG Doc comments form <[email protected]>
wrote:

> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/18/app-psql.html
> Description:
>
> Hello.
> I was connected to database via `psql` then I rebooted DB. I was not able
> to
> disconnect from terminal after that. Only whole window close helped.


> It would be nice if `psql` allows to disconnect from console if a
> connection
> to database was lost.
>

Seems like this would be better reported as an actual bug.  Not as comments
related to the effectiveness of the documentation.

David J.

Reply via email to