You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
By the the time Waker.wake() writes to the pipe, any shared state that would trigger action on the Broker thread has already been updated, so reading subsequent bytes caused by later Waker.wake() can't miss anything. This avoids spewing tons of logs messages every time there is a storm of user-generated log messages. |
8 years ago | |
|---|---|---|
| docs | 8 years ago | |
| econtext | 8 years ago | |
| examples | 9 years ago | |
| tests | 9 years ago | |
| todo | 9 years ago | |
| .gitignore | 9 years ago | |
| preamble_size.py | 8 years ago | |
| setup.py | 9 years ago | |