<br><div class="gmail_quote">On Fri, Mar 4, 2011 at 3:24 PM, Jakub Piotr Cłapa <span dir="ltr"><<a href="mailto:jpc-ml@zenburn.net">jpc-ml@zenburn.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 27.02.11 23:33, Eli Barzilay wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Two hours ago, John Clements wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Add'l data point: I tried messing up the clock manually, by turning<br>
off NTP, but I was unable to duplicate the bug this way.<br>
</blockquote>
<br>
NTP is unlikely to be the problem, since the times are saved on the<br>
filesystem, independently of the system time (or clock). And since<br>
Robby says that DrR compares only the time value regardless of being<br>
in the future, then there shouldn't be any problem with that.<br>
</blockquote>
<br></div>
If NTP or clock drift was the reason then makefiles would not work and vim would also complain a lot (an this is not the case, at least for me).<br>
<br>
I do not use network mounts or git and I too get this message almost all the time on OS X. I will try to track it down using the patches posted in this thread.<br></blockquote><div><br>I got my first hit using these patches. I tried to save the file, and was informed that it had changed on disk since my last save from DrRacket, and did I want to overwrite it. Here's what I got<br>
<br>last-saved-file-time: 1299611826<br>file-modified-time: 1299611832<br><br>These times are both quite close to when I tried to save. In retrospect, I should have added the output of (current-seconds) to the log output. I don't recall a six-second delay while trying to save.<br>
<br>John<br></div></div>