TerminalSession.st
changeset 4555 996264459201
parent 4554 41d1d0047772
child 4625 0c4ea1bf37ba
--- a/TerminalSession.st	Fri Dec 29 12:50:59 2017 +0100
+++ b/TerminalSession.st	Sat Dec 30 23:38:54 2017 +0100
@@ -329,8 +329,8 @@
     shellPid := Processor
                monitor:[
                   Debug ifTrue:[
-                        Transcript show:'exec:'; show:shell.
-                        Transcript show:' '; showCR:args.
+                      Transcript show:'exec:'; show:shell.
+                      Transcript show:' args:'; showCR:args.
                   ].
                   OperatingSystem
                       exec:shell