def delPlayer(name):
player = getPlayer(name)<EOL>try:    os.remove(player.filename) <EOL>except IOError: pass <EOL>try:    del getKnownPlayers()[player.name] <EOL>except: pass<EOL>return player<EOL>
forget about a previously defined PlayerRecord setting by deleting its disk file