diff --git a/scripts/rr-gdb-script-host.py b/scripts/rr-gdb-script-host.py index ff7e2ad40de..be4a6892038 100755 --- a/scripts/rr-gdb-script-host.py +++ b/scripts/rr-gdb-script-host.py @@ -26,8 +26,6 @@ class GdbScriptHost: new_objfile_events: List[GdbNewObjfileEventCallback] = [] - COMMAND_USER: int = 13 - def __init__(self, *args, **kwargs): self._filename = args[0] @@ -159,6 +157,14 @@ def events(self) -> GdbApiEvents: self._events = GdbApiEvents(self.gdb) return self._events + @property + def COMMAND_USER(self) -> int: + return 13 + + @property + def Command(self) -> object: + return object() + if __name__ == '__main__': with open(sys.argv[1], 'r') as user_script_file: user_script = user_script_file.read()