Re: restarting the GC

[Patrick Rapin <toupie300@...>]

I do not use this feature.
In fact, I also find the current behavior very questionable: if
garbage collection is switched off, it might be because we want to run
garbage collection "manually" by explicitly calling collectgarbage().
So if this call re-enables automatic collection, this is clearly a
negative side effect.
The proposed solution is IMHO more logical and more handy. If one
wants a full collection *and* the automatic collection restarting, he
just has to make two separate calls.
By the way, I looked at the documentation and noticed that the
behavior of collectgarbage() while the garbage collector is off is not
described.