/**
* remove member from the game. Also updates game's client version range, with remaining connected
* members. Please call {@link #takeMonitorForGame(String)} before calling this.
*
* @param gaName the name of the game
* @param conn the member's connection
*/
public synchronized void removeMember(StringConnection conn, String gaName) {
System.err.println("L139: game " + gaName + " remove " + conn); // JM TEMP
Vector members = getMembers(gaName);
if ((members != null)) {
members.removeElement(conn);
// Check version of remaining members
if (!members.isEmpty()) {
StringConnection c = (StringConnection) members.firstElement();
int lowVers = c.getVersion();
int highVers = lowVers;
for (int i = members.size() - 1; i > 1; --i) {
c = (StringConnection) members.elementAt(i);
int v = c.getVersion();
if (v < lowVers) lowVers = v;
if (v > highVers) highVers = v;
}
SOCGame ga = getGameData(gaName);
ga.clientVersionLowest = lowVers;
ga.clientVersionHighest = highVers;
ga.hasOldClients = (lowVers < Version.versionNumber());
}
}
}
/**
* add a member to the game. Also checks client's version against game's current range of client
* versions. Please call {@link #takeMonitorForGame(String)} before calling this.
*
* @param gaName the name of the game
* @param conn the member's connection; version should already be set
*/
public synchronized void addMember(StringConnection conn, String gaName) {
Vector members = getMembers(gaName);
if ((members != null) && (!members.contains(conn))) {
System.err.println("L139: game " + gaName + " add " + conn); // JM TEMP
final boolean firstMember = members.isEmpty();
members.addElement(conn);
// Check version range
SOCGame ga = getGameData(gaName);
final int cliVers = conn.getVersion();
if (firstMember) {
ga.clientVersionLowest = cliVers;
ga.clientVersionHighest = cliVers;
ga.hasOldClients = (cliVers < Version.versionNumber());
} else {
final int cliLowestAlready = ga.clientVersionLowest;
final int cliHighestAlready = ga.clientVersionHighest;
if (cliVers < cliLowestAlready) {
ga.clientVersionLowest = cliVers;
if (cliVers < Version.versionNumber()) ga.hasOldClients = true;
}
if (cliVers > cliHighestAlready) {
ga.clientVersionHighest = cliVers;
}
}
}
}