K 10
svn:author
V 5
brian
K 8
svn:date
V 27
2000-03-14T01:46:31.000000Z
K 7
svn:log
V 307
When we stop a timer that's the first in the timer list, ensure
that we adjust that timers `rest' value (with the current getitimer()
values) before using that to adjust the next items `rest' value.
After adjusting that value, restart the timer service so that we've
now got the correct setitimer() values.

END