disconnect method
FR-CONN-004 — close serverId now, whoever holds it. For taking a device
away (card removed, lending withdrawn — 23 §6); letting go is release.
Implementation
Future<void> disconnect(String serverId) async {
_holders.remove(serverId);
await _teardown(serverId);
}