> > Solutions:
> > 1) push/pop plugin contexts around goal attainment (I'm
> worried about the
> > memory usage here though - will compare and look at necessity)
>
> Shouldn't be. I bootstrapped with all the plugins with 23mb
> of memory. What's the figure currently?
I'm getting up to 47Mb all
On Thu, 2003-12-11 at 20:10, Brett Porter wrote:
> I think have this fixed - just requires some more testing before
> committing.
>
> Solutions:
> 1) push/pop plugin contexts around goal attainment (I'm worried about the
> memory usage here though - will compare and look at necessity)
Shouldn
