devtools/__init__.py
changeset 7896 4c954e1e73ef
parent 7879 9aae456abab5
child 8175 89fcaca0bca0
equal deleted inserted replaced
7894:ad0eeb0f7a8d 7896:4c954e1e73ef
   579                 cnx.close()
   579                 cnx.close()
   580             init_repository(self.config, interactive=False)
   580             init_repository(self.config, interactive=False)
   581         except BaseException:
   581         except BaseException:
   582             if self.dbcnx is not None:
   582             if self.dbcnx is not None:
   583                 self.dbcnx.rollback()
   583                 self.dbcnx.rollback()
   584             print >> sys.stderr, 'building', self.dbname, 'failed'
   584             sys.stderr.write('building %s failed\n' % self.dbname)
   585             #self._drop(self.dbname)
   585             #self._drop(self.dbname)
   586             raise
   586             raise
   587 
   587 
   588     def helper_clear_cache(self):
   588     def helper_clear_cache(self):
   589         if self.dbcnx is not None:
   589         if self.dbcnx is not None: