...

diff --git a/tutorials/java/src/phpdbg/ui/DebugSocket.java b/tutorials/java/src/phpdbg/ui/DebugSocket.java
index 4542cbf70de942e46c69f28019a49b71e63631f3..b8f30c4300993b63b191107680b094d2624be235 100644 (file)
--- 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());