def delPlayer(name):
    """forget about a previously defined PlayerRecord setting by deleting its disk file"""
    player = getPlayer(name)
    try:    os.remove(player.filename) # delete from disk
    except IOError: pass # shouldn't happen, but don't crash if the disk data doesn't exist
    try:    del getKnownPlayers()[player.name] # forget object from cache
    except: pass
    return player
forget about a previously defined PlayerRecord setting by deleting its disk file