devtools/__init__.py
changeset 10671 e08102f45237
parent 10662 10942ed172de
child 10796 26a36c2a5fbd
equal deleted inserted replaced
10670:96380c1524b0 10671:e08102f45237
   677     def __del__(self):
   677     def __del__(self):
   678         self.helper_clear_cache()
   678         self.helper_clear_cache()
   679 
   679 
   680     @property
   680     @property
   681     def _config_id(self):
   681     def _config_id(self):
   682         return sha1(self.config.apphome).hexdigest()[:10]
   682         return sha1(self.config.apphome.encode('utf-8')).hexdigest()[:10]
   683 
   683 
   684     def _backup_name(self, db_id): # merge me with parent
   684     def _backup_name(self, db_id): # merge me with parent
   685         backup_name = '_'.join(('cache', self._config_id, self.dbname, db_id))
   685         backup_name = '_'.join(('cache', self._config_id, self.dbname, db_id))
   686         return backup_name.lower()
   686         return backup_name.lower()
   687 
   687