def __init__(self): """Initialize GDBMICmd and load the machine interface, spawning GDB.""" GDBMICmd.__init__(self) ider = GDBMIRecordIdentifier() self.pprinter = GDBMIPrettyPrinter(ider) self.gdb = GDBMachineInterface(gdb_args = ["-x", gdbconf.gdb_init_path]) self.dispatch_gdbmi_command_string("enable-pretty-printing")
def __init__(self): """Initialize some local things; the remote initialization must be done seperately.""" GDBMICmd.__init__(self) self.quit = False self.is_shutdown = False # Need to disable readline. self.completekey = None # Event triggered when remote_init completes in the remote thread.. self.remote_up = threading.Event() # Temporary list for building up aggregated records from OUT messages. self.arec_list = [] # Output history for expanding commands. self.output_history = [] # Get our PID for signals. self.my_pid = os.getpid()
def __init__(self): """Initialize GDBMICmd and load the machine interface, spawning GDB.""" GDBMICmd.__init__(self) self.pprinter = GDBMIPrettyPrinter() self.gdb = GDBMachineInterface(gdb_args=["-x", gdbconf.gdb_init_path]) self.dispatch_gdbmi_command_string("enable-pretty-printing")