Kristóf Tóth dbe5b10482 Fix unblock race condition randomly leading to deadlocks		2019-05-03 17:31:57 +02:00
..
__init__.py	Refactor PipeIOServer implementation into several files	2018-12-14 17:36:53 +01:00
deque.py	Implement thread-safe, blocking Deque class for reopen consistency	2019-05-02 23:14:08 +02:00
pipe_io_server.py	Make PipeIOServer API more consistent with clients	2019-04-17 14:10:47 +02:00
pipe_reader_thread.py	Fix unblock race condition randomly leading to deadlocks	2019-05-03 17:31:57 +02:00
pipe_writer_thread.py	Fix unblock race condition randomly leading to deadlocks	2019-05-03 17:31:57 +02:00
pipe.py	Rework PipeIOServer to use "keep pipes open" model with robust unblocking	2019-03-28 16:25:53 +01:00
terminate_process_on_failure.py	Terminate process if any of the IO threads fail	2018-12-15 00:32:29 +01:00