Re: [ jEdit-users ] Constant "this file has been modified on disk" messages

[Christian Q. <wil...@tz...>]

On Thursday 25 September 2003 10:11, Christian Quast wrote:
> On Thursday 25 September 2003 03:34, Wendy wrote:
> > On Wed, 2003-09-24 at 14:07, Slava Pestov wrote:
> > > You could just turn off these warnings in the General option pane.
> >
> > That works, but I do want to know if the file really has changed-- for
> > example, I keep log files open, and it's nice to be prompted to reload
> > the file to see the latest version.
> >
> > What could be making JEdit think that the file has been changed when it
> > hasn't?  Our guesses were perhaps the virus checker is somehow touching
> > the file, or that even a small difference in the timestamp (server is
> > ahead of the workstation) could be causing it.
> >
> > What classes in the JEdit source would be involved?
>
> I experience the same thing only on linux. The server is a debian system
> and the client(workstation) is a SuSE-8.2 System both running kernel
> version 2.4.21. $HOME is mounted via nfs and thats where the problemes are.
> I get the popups about every minute or even less (but not all files seem to
> effected). The system time is synced via ntp so there should be no
> difference (at least no noteable). It doesn't matter which jEdit version I
> use. 4.1 is effected the same way as is the latest 4.2pre.
>
> regards

-- 
Christian Quast

  Do NOT fear DEATH
     it's the reality
  LIFE is but a DREAM