From c768abd420b92dca952ca5b39d6ea0a4395d802b Mon Sep 17 00:00:00 2001 From: krakjoe Date: Tue, 28 Jan 2014 17:23:29 +0000 Subject: fix bugsnet #66594, thanks ondrej@php.net --- phpdbg_cmd.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'phpdbg_cmd.c') 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; } } -- cgit v1.2.1