Hello,
We've noticed that pgadmin 3.x / 4.x doesn't refresh server info like server version after restarting. Sometimes, it makes people confused.
For example,
1. PgAdmin was running
2. We upgraded postgres from 11.1 to 11.2
3. PgAdmin was restarted
4. We continued to see 11.1
5. We must push "Disconnect from server" and connect again for updating server version.
It would be better that PgAdmin checks server info from time to time, at least, when PgAdmin was restarted.
Thanks!
--
Regards,
Andrew K.