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 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")
