php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-25 00:48:25 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix bugsnet #66594, thanks ondrej@php.net

Browse Source
This commit is contained in:
krakjoe
2014-01-28 17:23:29 +00:00
parent 1c0fccfc9a
commit c768abd420
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
phpdbg_cmd.c
+1 -1
View File
@@ -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;
}
}