diff options
author | krakjoe <joe.watkins@live.co.uk> | 2013-11-30 00:29:16 +0000 |
---|---|---|
committer | krakjoe <joe.watkins@live.co.uk> | 2013-11-30 00:29:16 +0000 |
commit | 8963bbe26a787ee3ebffa72a36f4b9c8b75e8cc0 (patch) | |
tree | 6553b9cab256956181e5c3d3789573b6a025ad1b | |
parent | b6de073b00b1d80f479641d96e8edd5c6f9dc253 (diff) | |
download | php-git-8963bbe26a787ee3ebffa72a36f4b9c8b75e8cc0.tar.gz |
...
-rw-r--r-- | tutorials/java/src/phpdbg/ui/DebugSocket.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tutorials/java/src/phpdbg/ui/DebugSocket.java b/tutorials/java/src/phpdbg/ui/DebugSocket.java index 4542cbf70d..b8f30c4300 100644 --- a/tutorials/java/src/phpdbg/ui/DebugSocket.java +++ b/tutorials/java/src/phpdbg/ui/DebugSocket.java @@ -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()); |