_keep_scheduling: check _terminated.is_set()
authorZac Medico <zmedico@gentoo.org>
Sun, 6 Jan 2013 11:15:49 +0000 (03:15 -0800)
committerZac Medico <zmedico@gentoo.org>
Sun, 6 Jan 2013 11:15:49 +0000 (03:15 -0800)
commit4ac9adbb25e1f83853976cba374d94b2a82ef124
treeb0ba7bb3515433047d00646a0deacb1812f60cab
parentb04d876dc648c4e813ddc5f3036c5d3c94a41b74
_keep_scheduling: check _terminated.is_set()

This ensures that scheduling loops terminate as soon as possible after
an interrupt is received.
pym/_emerge/Scheduler.py
pym/portage/util/_async/AsyncScheduler.py