In article <Pine.LNX.3.91.960401112805.281C-100000@gytha.demon.co.uk>,
Bryn Paul Arnold Jones <bpaj@gytha.demon.co.uk> writes:
>On Mon, 1 Apr 1996, Ulrich Windl wrote:
>
>> One problem seems to be that the warp_clock() depends on a _local_
>> flag in sys_settimeofday(). If you have a continuously running
>> system, you will have to "re-warp" the clock at beginning/end of DST