code: def delPlayer(name):
      
      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
docs: forget about a previously defined PlayerRecord setting by deleting its disk file