[Unison-hackers] Problem with fractional mtime? ("destination updated during synchronization")

[Hans Meine]

Dear Unison hackers,

I have been a very happy unison user for several years now.  However, recently
I had the strange problem that I had one file (sipAPIfoo_reader.h) which could
not be syncronized because Unison always told me "destination updated during
synchronization".  Permissions and everything look fine, there are no
hardlinks involved, and of course no actual change.

My impression after digging a little bit is that this is because on one of the
two systems, the mtime has several fractional digits, which seem to be rounded
up (incorrectly?) so that the non-fractional part is newer on the other
system.

This is the relevant stat information from the source and destination system,
respectively:

[1] meine at kogs1:~ -> stat foo_project/sipAPIfoo_reader.h
  File: `foo_project/sipAPIfoo_reader.h'
  Size: 78344           Blocks: 160        IO Block: 8192   regular file
Device: 801126h/8392998d        Inode: 37004094    Links: 1
Access: (0644/-rw-r--r--)  Uid: (19022/   meine)   Gid: (  190/     bvp)
Access: 2008-10-29 09:00:57.554401000 +0100
Modify: 2008-10-20 10:58:03.064587000 +0200
Change: 2008-10-20 11:05:13.875338000 +0200
[1] meine at kogs1:~ -> uname -a
SunOS kogs1 5.8 Generic_117350-47 sun4u sparc SUNW,Ultra-250 Solaris

[2] hans at TuxOnStage:~ -> stat ~/foo_project/sipAPIfoo_reader.h
  File: »/home/hans/foo_project/sipAPIfoo_reader.h«
  Size: 70895           Blocks: 144        IO Block: 4096   reguläre Datei
Device: 305h/773d       Inode: 1548573     Links: 1
Access: (0644/-rw-r--r--)  Uid: ( 1000/    hans)   Gid: (  100/   users)
Access: 2008-10-29 09:02:26.000000000 +0100
Modify: 2008-10-17 21:19:54.000000000 +0200
Change: 2008-10-18 21:27:03.000000000 +0200
[2] hans at TuxOnStage:~ -> uname -a
Linux TuxOnStage 2.6.24.3 #3 PREEMPT Wed Apr 9 11:30:59 CEST 2008 i686 Intel(R) Pentium(R) 
M processor 1.70GHz GenuineIntel GNU/Linux

Is this a known problem (and should I read some FM part which I missed)?
Oh, I am still using 2.13.16, I hope I did not just make a fool out of myself
by writing all this..  (disclaimer: I am currently sick.)

-- 
Ciao, /  /                                                    .o.
     /--/                                                     ..o
    /  / ANS                                                  ooo
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: This is a digitally signed message part.
Url : http://lists.seas.upenn.edu/pipermail/unison-hackers/attachments/20081029/e1bc148e/attachment.sig