diff options
author | krakjoe <joe.watkins@live.co.uk> | 2014-01-28 17:23:29 +0000 |
---|---|---|
committer | krakjoe <joe.watkins@live.co.uk> | 2014-01-28 17:23:29 +0000 |
commit | c768abd420b92dca952ca5b39d6ea0a4395d802b (patch) | |
tree | 07d9b0a1ced2f1bcaad81c01b4509e0b0d44f835 | |
parent | 1c0fccfc9abaaea02ae717547bc3b69fcb2de86c (diff) | |
download | php-git-c768abd420b92dca952ca5b39d6ea0a4395d802b.tar.gz |
fix bugsnet #66594, thanks ondrej@php.net
-rw-r--r-- | phpdbg_cmd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phpdbg_cmd.c b/phpdbg_cmd.c index 8429ce280e..1d78c53321 100644 --- a/phpdbg_cmd.c +++ b/phpdbg_cmd.c @@ -479,7 +479,7 @@ disconnect: #ifndef HAVE_LIBREADLINE if (!(PHPDBG_G(flags) & PHPDBG_IS_REMOTE)) { - if (!phpdbg_write(phpdbg_get_prompt(TSRMLS_C))) { + if (!phpdbg_write("%s", phpdbg_get_prompt(TSRMLS_C))) { goto disconnect; } } |