Bruno Haible wrote:
> Hi Jim,
>
>> Does this fix it?
>>
>> +cleanup()
>> +{
>> + local delay="$1"
>> + rm -rf missing ||
>> + { sleep $delay; return 1; }
>> +}
>> +
>> +# Try repeatedly to remove the temporary directory.
>> +# This is normally unnecessary, because the containing directory will
>> +# be removed by code from init.sh. However, when this particular test
>> +# is run on an NFS-mounted volume, sometimes init.sh's cleanup code
>> +# fails because the directory is not yet really empty, perhaps because
>> +# the tail process (reading missing/file) is not yet killed.
>> +retry_delay_ cleanup .1 6
>
> Yes, this reduces the failure probability to 0%.
Good! Thanks for confirming.
