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 <ashesh(dot)vashi(at)enterprisedb(dot)com>
Modified Files
--------------
CHANGELOG | 2 ++
pgadmin/frm/frmMain.cpp | 2 +-
2 files changed, 3 insertions(+), 1 deletions(-)