Re: Patch: readline history not cleared on exit -> memleak

[Marius Vollmer]

Matthias Koeppe <address@hidden> writes:

> Marius Vollmer <address@hidden> writes:
> 
> > Matthias Koeppe <address@hidden> writes:
> > 
> > >   * readline.scm (readline-port): Call clear-history on exit. This
> > >   removes a memory leak.
> > 
> > Is this an issue in practice or just theoretical?  I'm unsure if
> > clearing the history has no negative consequences in `odd' situations,
> > like when you start multiple repls in a row.
> 
> We use memory-debugging tools (Purify) here, and it is annoying to get
> such memory holes reported every time.

Ok, I have applied your patch.  Thanks!