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