Home
last modified time | relevance | path

Searched refs:time_to_check_for_additional_output_sec (Results 1 – 3 of 3) sorted by relevance

/dports/devel/py-pygdbmi/pygdbmi-0.10.0.1/pygdbmi/
H A Dgdbcontroller.py24 time_to_check_for_additional_output_sec=DEFAULT_TIME_TO_CHECK_FOR_ADDITIONAL_OUTPUT_SEC, argument
47 self.time_to_check_for_additional_output_sec = (
48 time_to_check_for_additional_output_sec
52 self.time_to_check_for_additional_output_sec > 0
98 self.time_to_check_for_additional_output_sec,
H A DIoManager.py36 time_to_check_for_additional_output_sec=DEFAULT_TIME_TO_CHECK_FOR_ADDITIONAL_OUTPUT_SEC, argument
58 self.time_to_check_for_additional_output_sec = (
59 time_to_check_for_additional_output_sec
62 self.time_to_check_for_additional_output_sec > 0
129 time.time() + self.time_to_check_for_additional_output_sec,
172 time.time() + self.time_to_check_for_additional_output_sec,
/dports/devel/py-pygdbmi/pygdbmi-0.10.0.1/
H A DCHANGELOG.md4 * Fix bug with `time_to_check_for_additional_output_sec`, as it was not being used when passed to `…
11 … New API is `GdbController(command: Optional[List[str]], time_to_check_for_additional_output_sec: …