Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Andreas Pflug
Tino Wildenhain wrote: On Mon, 2004-10-25 at 15:04, Andreas Pflug wrote: Tino Wildenhain wrote: On Mon, 2004-10-25 at 14:16, Andreas Pflug wrote: ... Of course there is. Look at the tools menu, or context menu. Not surprisingly, the menu is called "disconnect" or "Verbindung schließen". Oh. Mea

Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Andreas Pflug
Tino Wildenhain wrote: Hi, On Mon, 2004-10-25 at 15:04, Andreas Pflug wrote: Tino Wildenhain wrote: On Mon, 2004-10-25 at 14:16, Andreas Pflug wrote: Tino Wildenhain wrote: Hi, when the connection is closed (for example by timeout from firewall or ssh-tunnel close) pgadmin in former versions used

Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Tino Wildenhain
On Mon, 2004-10-25 at 15:04, Andreas Pflug wrote: > Tino Wildenhain wrote: > > On Mon, 2004-10-25 at 14:16, Andreas Pflug wrote: > > ... > Of course there is. Look at the tools menu, or context menu. Not > surprisingly, the menu is called "disconnect" or "Verbindung schließen". Oh. Mea culpa. O

Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Tino Wildenhain
Hi, On Mon, 2004-10-25 at 15:04, Andreas Pflug wrote: > Tino Wildenhain wrote: > > On Mon, 2004-10-25 at 14:16, Andreas Pflug wrote: > > > >>Tino Wildenhain wrote: > >> > >>>Hi, > >>> > >>>when the connection is closed (for example by timeout from > >>>firewall or ssh-tunnel close) pgadmin in for

Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Andreas Pflug
Tino Wildenhain wrote: On Mon, 2004-10-25 at 14:16, Andreas Pflug wrote: Tino Wildenhain wrote: Hi, when the connection is closed (for example by timeout from firewall or ssh-tunnel close) pgadmin in former versions used to be killed on subsequent action (reload, queries, ...). Actual version gives

Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Tino Wildenhain
On Mon, 2004-10-25 at 14:16, Andreas Pflug wrote: > Tino Wildenhain wrote: > > Hi, > > > > when the connection is closed (for example by timeout from > > firewall or ssh-tunnel close) pgadmin in former versions > > used to be killed on subsequent action > > (reload, queries, ...). > > Actual versi

Re: [pgadmin-support] Problem with disconnected connections

2004-10-25 Thread Andreas Pflug
Tino Wildenhain wrote: Hi, when the connection is closed (for example by timeout from firewall or ssh-tunnel close) pgadmin in former versions used to be killed on subsequent action (reload, queries, ...). Actual version gives a requester with unknown Error and then there is no way to easy reconnec