Configuration.parse_if_needed takes forever to reload if clock is going back

[Jun Omae]

Configuration.parse_if_needed() reload only when the file is modified by checking that its modified time is greater that saved modified time.

However, if system clock is going back (e.g. by ntpdate), it would take forever to reload.

I think we should check difference between current and saved modified times.

trac/config.py

@@ -267 +267 @@
 
         changed = False
         modtime = os.path.getmtime(self.filename)
-        if force or modtime > self._lastmtime:
+        if force or modtime != self._lastmtime:
             self._sections = {}
             self.parser._sections = {}
             if not self.parser.read(self.filename):

See [c4561077/jomae.git] (log:jomae.git@t11904).