original_docstring: 
      Update the contents of the given page in the db.
      :param db: The db session to update in.
      :param page_name: The name of the page to update.
      :param page_content: The contents of the page to be updated.
      :return: None.
      
docstring: Update the contents of the given page in the db.
docstring_tokens: Update the contents of the given page in the db .
code: def update_page_content(db: Session, page_name: str, page_content: str):
      """
      Update the contents of the given page in the db.
      :param db: The db session to update in.
      :param page_name: The name of the page to update.
      :param page_content: The contents of the page to be updated.
      :return: None.
      """
      print('update page', page_name, 'with', page_content)
      db.query(models.Page)\
          .filter(models.Page.name == page_name)\
          .update({models.Page.content: page_content}, synchronize_session=False)
      db.commit()
code_tokens: def update_page_content ( db : Session , page_name : str , page_content : str ) : print ( 'update page' , page_name , 'with' , page_content ) db . query ( models . Page ) . filter ( models . Page . name == page_name ) . update ( { models . Page . content : page_content } , synchronize_session = False ) db . commit ( )
short_docstring: Update the contents of the given page in the db.
short_docstring_tokens: Update the contents of the given page in the db .
comment: """
      Update the contents of the given page in the db.
      :param db: The db session to update in.
      :param page_name: The name of the page to update.
      :param page_content: The contents of the page to be updated.
      :return: None.
      """