Terminate open network connections upon state change #3
Description
When a backend database server changes state, we should close all the open connections to that server (and from the DB client). This isn't the most gracious behaviour possible, but it'll be pretty clean and easy to implement.