Fix server reconnect option when the browser becomes disconnected from the server.
Branch ------ REL-1_14_0_PATCHES Details ------- http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=88e0927aef4fde59b9663cc581bde5437a8f3600 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
