Re: BUG #17111: Database created, cannot be created, but reported as inexist

On Fri, 16 Jul 2021 at 06:04, PG Bug reporting form <noreply@postgresql.org> wrote:
> The following bug has been logged on the website:
>
> Bug reference:      17111
> Logged by:          Bernaridho Hutabarat
> Email address:      bernaridho@outlook.co.id
> PostgreSQL version: 12.7
> Operating system:   CentOS
> Description:        
>
> postgres=# \c Database
> FATAL:  database "Database" does not exist
> Previous connection kept
> postgres=# CREATE DATABASE Database;
> ERROR:  database "database" already exists
> postgres=# DROP DATABASE Database;
> DROP DATABASE
> postgres=# CREATE DATABASE Database OWNER ServiceUser1;
> CREATE DATABASE
> postgres=# \c Database;
> FATAL:  database "Database" does not exist
> Previous connection kept
> postgres=# DROP DATABASE Database; 
> DROP DATABASE
> postgres=# CREATE DATABASE Database OWNER postgres;
> CREATE DATABASE
> postgres=# \c Database;
> FATAL:  database "Database" does not exist
> Previous connection kept
> postgres=# DROP DATABASE Database;
> DROP DATABASE
> postgres=# \q

This might be the \c command doesn't convert "Database" to "database",
OTOH, the CREATE DATABASE & DROP DATABASE convert "Database" to "database" by default.

Should we convert the string to lower case read_connect_arg() if it doesn't quoted?

-- 
Regrads,
Japin Li.
ChengDu WenWu Information Technology Co.,Ltd.