devtools/__init__.py
changeset 8188 1867e252e487
parent 8175 89fcaca0bca0
child 8265 9747ab9230ad
equal deleted inserted replaced
8187:981f6e487788 8188:1867e252e487
   478             repo = self.get_repo(startup=True)
   478             repo = self.get_repo(startup=True)
   479             cnx = self.get_cnx()
   479             cnx = self.get_cnx()
   480             session = repo._sessions[cnx.sessionid]
   480             session = repo._sessions[cnx.sessionid]
   481             session.set_cnxset()
   481             session.set_cnxset()
   482             _commit = session.commit
   482             _commit = session.commit
   483             def keep_cnxset_commit():
   483             def keep_cnxset_commit(free_cnxset=False):
   484                 _commit(free_cnxset=False)
   484                 _commit(free_cnxset=free_cnxset)
   485             session.commit = keep_cnxset_commit
   485             session.commit = keep_cnxset_commit
   486             pre_setup_func(session, self.config)
   486             pre_setup_func(session, self.config)
   487             session.commit()
   487             session.commit()
   488             cnx.close()
   488             cnx.close()
   489         self.backup_database(test_db_id)
   489         self.backup_database(test_db_id)