On Fri, 19 Apr 1996, Piete Brooks wrote:
> No -- I meant
> IF time expired
> AND stat shows that the filke has moved
> AND open of the file works
> THEN replace the old fd with the new
I'm inclined now to think that this is overkill, and one should simply
do
IF stat shows file has moved
AND open of the file works
THEN replace old with new
then we don't have to choose a default time or have a means of changing
it.
--
Philip Hazel University Computing Service,
ph10@??? New Museums Site, Cambridge CB2 3QG,
P.Hazel@??? England. Phone: +44 1223 334714