135 !GDBMI_exec_run methodsFor:'converting'!

   136 

   137 asString

   138 

   139     "/ Following code is an workaround to a bug in GDB up to 7.9,

   140     "/ which does not correctly handle this command in async mode.

   141     "/ According to GDB source code, the MI command actually issues

   142     "/ CLI command run in background mode (if mi-async is on).

   143     "/ See https://sourceware.org/bugzilla/show_bug.cgi?id=18077

   144     "/ 

   145     "/ As a (temporary) workaround, substitute for CLI command here.

   146     ^ (token notNil ifTrue:[token printString ] ifFalse:['']) , 'r &'

   147 

   148     "Created: / 04-03-2015 / 20:49:20 / Jan Vrany <jan.vrany@fit.cvut.cz>"

   149     "Modified: / 11-07-2017 / 23:31:08 / Jan Vrany <jan.vrany@fit.cvut.cz>"

   150 ! !

   151