code: def ReadGRRUser(self, username):
      
      try:
        return self.users[username].Copy()
      except KeyError:
        raise db.UnknownGRRUserError(username)
docs: Reads a user object corresponding to a given name.