Re: [PATCH] Don't prune program spaces when doing "maintenance info program-spaces"

Sergio Durigan Junior
2014-09-25T02:31:11Z

On Wednesday, September 24 2014, Doug Evans wrote:

> IOW, how about move the call to prune_program_spaces to whatever
> caller wants it.

As a note, after I commented on the patch, I noticed that the "prune"
argument may be unecessary indeed (and the "prunning" logic"), because
we are not prunning anything anymore.

Anyway, I just wanted to say that I agree with removing this part of the
code, and moving it to more suitable parts.

--
Sergio
GPG key ID: 0x65FC5E36
Please send encrypted e-mail if possible