9596979899100101102103104105
} else { pi = new BBPlayerInfo(name); } do_addOrUpdatePlayer(pi); pi.refresh(); knownPlayers.put(pi.getID(), pi); knownNames.put(name, pi.getID()); } public void addOrUpdatePlayer(BBPlayerInfo pi) {