Fix server reconnect option when the browser becomes disconnected from the server.
Branch ------ master Details ------- http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=b8aa71ebcc46a313c591110cca6fa1311bbcea09 Author: Ashesh Vashi <[email protected]> Modified Files -------------- CHANGELOG | 2 ++ pgadmin/frm/frmMain.cpp | 2 +- 2 files changed, 3 insertions(+), 1 deletions(-) -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
