RE: [ jEdit-users ] disabling auto-reload (4.2pre3)?

[Iain H. <ih...@cs...>]

On Mon, 4 Aug 2003, Ladner, Eric (Eric.Ladner) wrote:

> If there is a time difference between the client and the server, I could
> see where this could cause problems when saving a file.  Say you save a
> file and the server has a time that is a few minutes in the future.
> When the time on the file is updated, it's in the future compared to the
> client's time.  I've had this kind of problem with makes across NFS
> before.

This sounds right.  I have this problem as well, and I often get 'modified
in the future' warnings from ant and make.

Cheers,
Iain