angr/angrdb/db.py
def update_dbinfo(self, session):
        """
        Update the information in database.

        :param session:
        :return:
        """

        self.save_info(session, "version", str(self.VERSION))
        self.save_info(session, "saved_at", str(int(time.time())))

        Update the information in database.

        :param session:
        :return:
        
Update the information in database.
Update the information in database .
def update_dbinfo(self, session):
        self.save_info(session, "version", str(self.VERSION))
        self.save_info(session, "saved_at", str(int(time.time())))
def update_dbinfo ( self , session ) : self . save_info ( session , "version" , str ( self . VERSION ) ) self . save_info ( session , "saved_at" , str ( int ( time . time ( ) ) ) )
Update the information in database.
Update the information in database .
"""
        Update the information in database.

        :param session:
        :return:
        """
None
self
session
None