one - hopefully - last bytes vs str change for py3
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Jan 2019 14:03:51 +0000 (15:03 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Jan 2019 14:03:51 +0000 (15:03 +0100)
database.py

index aef900d..ff92bb3 100644 (file)
@@ -183,7 +183,8 @@ It proceeds to handle dump requests forever."""
             dump_requested = False
             db_lock.release()
             try:
-                tools.write_file(DB_FILE, lambda f: f.write(db_pickle))
+                tools.write_file(
+                    DB_FILE, lambda f: f.write(db_pickle.decode()))
                 logger.log_database(db)
             except:
                 logger.log_exc("database.start: failed to pickle/dump")