GDBMIPrinter.st
changeset 174 18ef81a3fee5
parent 153 dd55019f1d86
child 179 c43cece06442
--- a/GDBMIPrinter.st	Mon Jan 28 14:56:14 2019 +0000
+++ b/GDBMIPrinter.st	Mon Jan 28 22:47:57 2019 +0000
@@ -161,8 +161,12 @@
         aGDBCLICommand token printOn: stream.
     ].
     stream nextPutAll: aGDBCLICommand value.
+    aGDBCLICommand runOnBackground ifTrue:[ 
+        stream space; nextPut:$&  
+    ].
 
     "Created: / 11-07-2017 / 21:33:00 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 28-01-2019 / 21:24:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 printCommandMI: aGDBMICommand