# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1679650188 -3600
# Node ID fe4725bf42fb3f9b47ef8831b907a27dfdc1fb80
# Parent  44abce96ac6b18790471f359dfd0b9ccd32df581
core (memory/sqla): be sure to have a dict when serialising History.extra:

`extra` can be None, this patch avoid this value when serialising it by using an empty
dict.

diff -r 44abce96ac6b -r fe4725bf42fb sat/memory/sqla_mapping.py
--- a/sat/memory/sqla_mapping.py	Thu Mar 23 17:08:41 2023 +0100
+++ b/sat/memory/sqla_mapping.py	Fri Mar 24 10:29:48 2023 +0100
@@ -273,7 +273,7 @@
         return f"History<{self.source_jid.full()}->{self.dest_jid.full()} [{dt}]>"
 
     def serialise(self):
-        extra = self.extra
+        extra = self.extra or {}
         if self.origin_id is not None:
             extra["origin_id"] = self.origin_id
         if self.stanza_id is not None: