archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-19 17:04:47 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

...

Browse source
This commit is contained in:
krakjoe 2013-11-30 00:29:16 +00:00
parent b6de073b00
commit 8963bbe26a
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tutorials/java/src/phpdbg/ui/DebugSocket.java
View file

@ -88,9 +88,9 @@ public class DebugSocket implements Runnable {
/* send command to stdin socket */
if (command != null) {
if (main.isEchoing()) {
main.getOutputField().appendANSI("remote> ");
main.getOutputField().appendANSI(command);
main.getOutputField().appendANSI("\n");
main.getOutputField()
.appendANSI(
String.format("remote> %s\n", command));
}
output.write(
command.getBytes());