On 24-Aug-00 at 11:06:05 Philip Hazel wrote:
> On Thu, 24 Aug 2000, John Horne wrote:
>> > ignore_errmsg_errors_after = 8d
>> >
>> Be advised that you also need to set 'ignore_errmsg_errors'. Manual page
>> 76.
>
> Manual says, on p77:
>
> ignore_errmsg_errors_after
>
> Type: time
> Default: 0s
>
> This option, if it is set to a non-zero time, acts as a delayed
> version of ignore_errmsg_errors, which must be unset for this option
> to take effect.
> ^^^^^
Profuse apologies and sheer embarassment! I misread it :-)
John.
--------------------------------------------------------------------------
John Horne, University of Plymouth, UK Tel: +44 (0)1752 233914
E-mail: jhorne@???
PGP key available from public key servers