diff options
Diffstat (limited to 'php-5.5.8-bug66412.patch')
| -rw-r--r-- | php-5.5.8-bug66412.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/php-5.5.8-bug66412.patch b/php-5.5.8-bug66412.patch new file mode 100644 index 0000000..2018acc --- /dev/null +++ b/php-5.5.8-bug66412.patch @@ -0,0 +1,15 @@ +diff -up ext/readline/readline.c.old ext/readline/readline.c +--- ext/readline/readline.c.old 2014-01-20 08:19:13.009830341 +0100 ++++ ext/readline/readline.c 2014-01-20 08:20:56.463158818 +0100 +@@ -354,6 +354,11 @@ PHP_FUNCTION(readline_clear_history) + return; + } + ++#if HAVE_LIBEDIT ++ /* clear_history is the only function where rl_initialize ++ is not call to ensure correct allocation */ ++ using_history(); ++#endif + clear_history(); + + RETURN_TRUE; |