project_files/Android-build/SDL-android-project/src/org/hedgewars/hedgeroid/netplay/PlayerList.java
changeset 7355 5673e95ef647
parent 7352 641f11cdd319
child 7358 57a508884052
equal deleted inserted replaced
7352:641f11cdd319 7355:5673e95ef647
    20 		if(players.remove(name) != null) {
    20 		if(players.remove(name) != null) {
    21 			notifyChanged();
    21 			notifyChanged();
    22 		}
    22 		}
    23 	}
    23 	}
    24 
    24 
       
    25 	public void clear() {
       
    26 		if(!players.isEmpty()) {
       
    27 			players.clear();
       
    28 			notifyChanged();
       
    29 		}
       
    30 	}
       
    31 
    25 	public Map<String, Player> getMap() {
    32 	public Map<String, Player> getMap() {
    26 		return Collections.unmodifiableMap(players);
    33 		return Collections.unmodifiableMap(players);
    27 	}
    34 	}
    28 }
    35 }