George Pavlov wrote:
Shouldn't it be fairly easy to make pgAdmin reconnect do servers it has lost its connection to? After all it has all the connection information (assuming password is saved) and could try to re-establish it?
In theory it should be easy to try to reconnect - I'll add it to the todo list.
Regards, Dave