116117118119120121122123124125126
public static void end(String serverName) { TransactionMap map = local.get(); State state = map.removeState(serverName); if (state != null) { state.end(); } if (map.isEmpty()) { local.remove(); } }