Ensure that old or broken sessions are resaved.

diff --git a/wrw/session.py b/wrw/session.py
index 08120cbda1bb973237c621fb03859c01b2a4e826..c845617071f260de0bc836f54f96d476c8c4b9b4 100644 (file)
--- a/wrw/session.py
+++ b/wrw/session.py
@@ -83,6 +83,7 @@ class session(object):
             # Only for the old session format; remove me in due time.
             for k, v in st:
                 self.__dict__[k] = v
+            self.dirtyp = True
         else:
             self.dict = {}
             self.dctl = set()
@@ -93,6 +94,7 @@ class session(object):
                 try:
                     k, v = itemunpickler(io.BytesIO(item), session=self).load()
                 except Exception:
+                    self.dirtyp = True
                     continue
                 self.dict[k] = v
                 if hasattr(v, "sessdirty"):