Benedek Racz d46e700655 [FIX] real child process cannot be fetched from host, because it may died befor fetching it, so signal handling cannot be handled directly.

2020-01-25 22:54:40 +01:00

..

__init__.py

[MRG] wexpect2 merged, the default is the legacy

2020-01-25 16:47:58 +01:00

__init__.py.orig

[MRG] wexpect2 merged, the default is the legacy

2020-01-25 16:47:58 +01:00

console_reader.py

[FIX] real child process cannot be fetched from host, because it may died befor fetching it, so signal handling cannot be handled directly.

2020-01-25 22:54:40 +01:00

host.py

[FIX] real child process cannot be fetched from host, because it may died befor fetching it, so signal handling cannot be handled directly.

2020-01-25 22:54:40 +01:00

legacy_wexpect.py

[FIX] real child process cannot be fetched from host, because it may died befor fetching it, so signal handling cannot be handled directly.

2020-01-25 22:54:40 +01:00

legacy_wexpect.py.orig

[MRG] wexpect2 merged, the default is the legacy

2020-01-25 16:47:58 +01:00

wexpect_util.py

[FIX] real child process cannot be fetched from host, because it may died befor fetching it, so signal handling cannot be handled directly.

2020-01-25 22:54:40 +01:00