On Tue, Aug 9, 2011 at 7:51 PM, Dave Page <dpage@pgadmin.org> wrote:
> Use the keep-alive options on the server.
That effects all the clients. Tora has a feature where you can tell
it to ping the server every once in a while so I think this would be a
good feature for pgadmin too.