# HG changeset patch
# User drewp@bigasterisk.com
# Date 1370475552 0
# Node ID 222b9fee8fcb87e17d9a98feaf8f217b2ca53950
# Parent  d098574272fc452e45bfcdfcec5f9209bfd08eab
merge graphfile.py
Ignore-this: f84fae4f674467e8f05c7afab327d00a

diff -r d098574272fc -r 222b9fee8fcb light9/rdfdb/graphfile.py
--- a/light9/rdfdb/graphfile.py	Wed Jun 05 23:34:49 2013 +0000
+++ b/light9/rdfdb/graphfile.py	Wed Jun 05 23:39:12 2013 +0000
@@ -50,8 +50,17 @@
                        callbacks=[self.notify])
       
     def notify(self, notifier, filepath, mask):
-        if filepath.getModificationTime() == self.lastWriteTimestamp:
-            log.debug("file %s changed, but we did this write", filepath)
+        # this is from some other version, and I forget the point. Delete
+#        mask = humanReadableMask(mask)
+#        if mask[0] in ['open', 'access', 'close_nowrite', 'attrib', 'delete_self']:
+#            return
+
+        try:
+            if filepath.getModificationTime() == self.lastWriteTimestamp:
+                log.debug("file %s changed, but we did this write", filepath)
+                return
+        except OSError as e:
+            log.error("watched file %s: %r" % (filepath, e))
             return
             
         log.info("file %s changed", filepath)