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 to be killed on subsequent action
>>>>>(reload, queries, ...).
>>>>>Actual version gives a requester with unknown Error
>>>>>and then there is no way to easy reconnect.
>>>>>The past connection isnt even selectable from connection
>>>>>button.
>>>>
>>>>Simply close the connection and connect again.
>>>
>>>
>>>How? There is neither a button nor a menu entry for that.
>>
>>Of course there is. Look at the tools menu, or context menu. Not
>>surprisingly, the menu is called "disconnect" or "Verbindung schließen".
>
>
> Surprisingly, it is grayed out :-)
Please select an object that is able to disconnect, i.e. the server!
Regards,
Andreas