private void disconnectClient(String client) { for (Company company : _companies.values()) { StockOrder order = company.getBuyOrders().get(client); while (order != null) { // remove buy orders company.getBuyOrders().remove(client); order = company.getBuyOrders().get(client); } order = company.getSellOrders().get(client); while (order != null) { // sell buy orders company.getSellOrders().remove(client); order = company.getSellOrders().get(client); } } _numActiveClients--; for (StockExchangeBroker broker : _brokers) broker.removeClient(client); // //_brokers.get(_clients.get(client)).decClientNum(); TODO: // _clients.remove(client); _stockExchangeStompClient.unsubscribe("/topic/cDeals-" + client, this); _stockExchangeStompClient.send("/topic/cDisconnected", "disconnected " + client + "\n"); }