[issue12186] readline.replace_history_item still leaks memory
Martin Panter
report at bugs.python.org
Mon Jun 20 23:50:02 EDT 2016
Martin Panter added the comment:
This seems like something that should be fixed in Readline, rather than Python. Judging by the rl_clear_history() documentation, it sounds like this is private data. Maybe we need a version of rl_free_undo_list() that works for old history items, or a Readline library wrapper for free_history_entry().
----------
nosy: +martin.panter
resolution: -> third party
_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue12186>
_______________________________________
More information about the Python-bugs-list
mailing list