Re: Trying to prune the registry because it's full; apply: registry max-size limit reached

[Tassilo Horn <tsdh@gnu.org>]

Eric Abrahamsen <eric@ericabrahamsen.net> writes:

Hi Eric,

>> A few days ago I changed it so that it really did reach its max size
>> before pruning. Obviously something isn't quite aligned right. I'm
>> assuming some sort of off-by-one error: we're using #'< where we
>> should be using #'<=, or something like that.
>
> Embarrassingly, that is indeed what was happening. Would you mind
> giving this patch a whirl? If it works correctly, I'll push it (plus a
> ChangeLog notice).

I've switched back to 10000 max entries, and now

  (registry-full gnus-registry-db)

returns t.  I can enter groups and read messages without an error but I
don't get any messages about pruning.  But after reading a bunch of new
messages now, (registry-full gnus-registry-db) gives nil and
(registry-size gnus-registry-db) says 9007, so apparently it has pruned
anyhow.

Bye,
Tassilo