Dist's "ant update" sometimes fails to update jars

[jamoore]

Assuming one is trying to update etc/local.properties into omero.ear!local.properties, the update is done only when:

• time(etc/local.properties) > time(omero.ear!local.properties)

and time(omero.ear) plays no role. Therefore to ensure that the update occurs on has to touch etc/local.properties (something of a hack, but there appears to be no other way).

Ref: ​http://issues.apache.org/bugzilla/show_bug.cgi?id=10755

Note: this arose when a user had moved omero.ear to a system with a different timezone. The jar was silently NOT updated, causing issues.

[jmoore]

r1781 attempted to fix this but the update target should still be considered broken when timestamps are involved (for example):

   date # prints Mon Sep 17 22:26:25 CEST 2007
   java omero build dist
   tar cjf dist.tar.bz2 dist
   ssh dist.tar.bz2 someothersystem:~/dist.tar.bz2

Then a user in an earlier timezone:

   wget http://example.com/dist.tar.bz2
   tar xjf dist.tar.bz2
   ls -ltra # prints local times, say 11:30 AM PST 2007
   #BUT
   unzip -l blitz/blitz.jar # prints times around 22:30 again.

The only workaround may be to use shell scripts.

[jmoore]

With the changes for #800, ant update has been removed.