diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-09-11 10:59:04 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-09-11 10:59:04 +0200 |
| commit | f945c82ec693671e94830b4c0580aba8ea7ae2a5 (patch) | |
| tree | 727d4c236107bd2324dc43ea959d6e047e882209 | |
| parent | 1ce830a4aaa626a6c33835297273249eefb8e643 (diff) | |
| download | php-git-f945c82ec693671e94830b4c0580aba8ea7ae2a5.tar.gz | |
Free history_get_history_state() result
It's not documented, but per https://bugs.python.org/issue8065
the result is freshly malloc'd and needs to be freed.
| -rw-r--r-- | ext/readline/readline.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/readline/readline.c b/ext/readline/readline.c index b9435521ca..174556d4d3 100644 --- a/ext/readline/readline.c +++ b/ext/readline/readline.c @@ -441,6 +441,7 @@ PHP_FUNCTION(readline_list_history) } } } + free(hs); } #else /* readline */ |