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