1
0
mirror of https://github.com/php/php-src.git synced 2026-03-31 20:53:00 +02:00

fix leak from readline

This commit is contained in:
krakjoe
2013-11-13 04:20:39 +00:00
parent 176f995c24
commit a6d08af06b

View File

@@ -594,6 +594,12 @@ phpdbg_interactive_enter:
}
if (!(PHPDBG_G(flags) & PHPDBG_IS_QUITTING)) {
#ifdef HAVE_LIBREADLINE
if (cmd) {
free(cmd);
cmd = NULL;
}
#endif
goto phpdbg_interactive_enter;
}
}