The database I would like to disconnect from is called library. I have tried the following which I found on https://www.enterprisedb.com/edb-docs/d/postgresql/reference/manu
