devtools/__init__.py
changeset 10671 e08102f45237
parent 10662 10942ed172de
child 10796 26a36c2a5fbd
--- a/devtools/__init__.py	Thu Oct 01 11:40:23 2015 +0200
+++ b/devtools/__init__.py	Tue Oct 13 16:57:09 2015 +0200
@@ -679,7 +679,7 @@
 
     @property
     def _config_id(self):
-        return sha1(self.config.apphome).hexdigest()[:10]
+        return sha1(self.config.apphome.encode('utf-8')).hexdigest()[:10]
 
     def _backup_name(self, db_id): # merge me with parent
         backup_name = '_'.join(('cache', self._config_id, self.dbname, db_id))