original_docstring: Saves the user in the database.
docstring: Saves the user in the database.
docstring_tokens: Saves the user in the database .
code: def save(self):
          """Saves the user in the database."""
          user = self.from_id(self.id)
          if user is not None:  # User already saved in the database, nothing to do
              return
  
          user_storage.append(self)
code_tokens: def save ( self ) : user = self . from_id ( self . id ) if user is not None : return user_storage . append ( self )
short_docstring: Saves the user in the database.
short_docstring_tokens: Saves the user in the database .
comment: """Saves the user in the database."""$SEP$# User already saved in the database, nothing to do