On Thu, 1 Apr 2004 23:01:39 +0200 (CEST) Ulrich Weigand <weigand@i1.informatik.uni-erlangen.de> wrote: > Both lead to the same type of problem. Indeed. My change would only provide a lighter guarantee - time never going backwards. -Andi