/**
* remove the game from the list
*
* @param gaName the name of the game
*/
public synchronized void deleteGame(String gaName) {
Vector members = (Vector) gameMembers.get(gaName);
if (members != null) {
members.removeAllElements();
}
super.deleteGame(gaName);
}
/**
* remove the game from the list and call {@link SOCGame#destroyGame()} via {@link
* SOCGameList#deleteGame(String)}.
*
* @param gaName the name of the game
*/
@Override
public synchronized void deleteGame(String gaName) {
// delete from super first, to destroy game and set its gameDestroyed flag
// (Removes game from list before dealing with members, in case of locks)
super.deleteGame(gaName);
Vector<StringConnection> members = gameMembers.get(gaName);
if (members != null) {
members.removeAllElements();
}
}