On Tue, Aug 9, 2011 at 7:51 PM, Dave Page <dpage(at)pgadmin(dot)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.