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 ---------------------------(end of broadcast)--------------------------- TIP 9: In versions below 8.0, the planner will ignore your desire to choose an index scan if your joining column's datatypes do not match