From 2142f4dd5292b8f6fec582d4b22d4961e49a3158 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 2 Jan 2019 15:03:51 +0100
Subject: [PATCH] one - hopefully - last bytes vs str change for py3

---
 database.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/database.py b/database.py
index aef900d..ff92bb3 100644
--- a/database.py
+++ b/database.py
@@ -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")
-- 
2.43.0