Ask to reset connection in the query tool
If a query fails because of a bad connection, the query tool will ask the user
if he wants an automatic reset. If yes, it'll try to reset the connection.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=7cbb6b50b7a9524b6a19323fcee79be4af29a479
Modified Files
--------------
CHANGELOG | 1 +
pgadmin/db/pgConn.cpp | 6 ++++++
pgadmin/frm/frmQuery.cpp | 24 +++++++++++++++++++-----
pgadmin/include/db/pgConn.h | 2 ++
4 files changed, 28 insertions(+), 5 deletions(-)