diff options
| -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()); |