◐ Shell
clean mode source ↗

Message 137767 - Python tracker

Ok, the dependencies are now committed. Here is a new patch addressing Charles-François' comments: select() is now called before each call to read() when sentinels are given, to avoid race conditions.