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");
}
