1.0.12dev: add `PostgreSQLConnection.ping()` in order to reconnect the server after restarting it (closes #4984)
1.0.12dev: add `PostgreSQLConnection.ping()` in order to reconnect the server after restarting it (closes #4984)


git-svn-id: 50cd48c816abc7a9f40e8e03a4277466cb30a3e4@14843 af82e41b-90c4-0310-8c96-b1721e28e2e2

rbaumg/trac,rbaumg/trac,rbaumg/trac,rbaumg/trac