From 2f1523f82ae4e494b36a635dae084f9a1415c3fe Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Sat, 11 Apr 2020 15:41:21 +1000
Subject: [PATCH] set db mod flag if mtime changed by backend

---
 pylib/anki/collection.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pylib/anki/collection.py b/pylib/anki/collection.py
index 3f88ed4fa..aa1bf4cfd 100644
--- a/pylib/anki/collection.py
+++ b/pylib/anki/collection.py
@@ -195,6 +195,9 @@ crt=?, mod=?, scm=?, dty=?, usn=?, ls=?""",
     def flush_all_changes(self, mod: Optional[int] = None):
         self.models.flush()
         self.decks.flush()
+        # set mod flag if mtime changed by backend
+        if self.db.scalar("select mod from col") != self.mod:
+            self.db.mod = True
         if self.db.mod:
             self.flush(mod)