On Fri, Mar 30, 2012 at 1:09 AM, Guillaume Lelarge
wrote:
> On Wed, 2012-03-28 at 10:28 +0100, Dave Page wrote:
> > That looks OK to me - thanks. Guillaume, what do you think (it's
> > fixing a bug in your code :-) ). Basically the problem is in the code
> > you added to prevent the same propertie
Thanks - patch applied.
On Tue, Apr 10, 2012 at 9:43 AM, Ashesh Vashi wrote:
> Hi,
>
> Steps to reproduce the problem:
> 1. Connect a server.
> i.e. PostgreSQL 9.0
> 2. Go to the Database->postgr"es->Schemas->public
> PS: 'postgres' is the maintenance database for the 'PostgreSQL 9.0'.
>
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
Modified Files
--
CHANGEL
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
Modified Files
--
CHANGELOG
Hi,
Steps to reproduce the problem:
1. Connect a server.
i.e. PostgreSQL 9.0
2. Go to the Database->postgr"es->Schemas->public
PS: 'postgres' is the maintenance database for the 'PostgreSQL 9.0'.
3. Stop the server in background
i.e. bin/pg_ctl -D data -m fast stop
4. Click on any of t
