[Github-comments] [geany/geany] Better check for a file change on disk by also monitoring the file size. (#1175)

[elextr]

I don't see it adds much, you have to absolutely know that the newly generated file is a different length.  And generating files and touching their mod time is going to break much more than just Geany's detection.

What could be sensible though is to check mtime as not equals rather than less than, the file is different if its moved back in time as well as forward in time.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1175#issuecomment-239303256
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160811/f8cc5c65/attachment.html>