Message324572
By the way, "no user-visible bug is fixed here": I agree that it's not easy to trigger manually the bug (when pressing CTRL+C), but I don't see why an user couldn't hit this bug. The race condition is now obvious to me. |
|
Date |
User |
Action |
Args |
2018-09-04 09:17:57 | vstinner | set | recipients:
+ vstinner, pitrou, taleinat, serhiy.storchaka, davin, pablogsal |
2018-09-04 09:17:57 | vstinner | set | messageid: <1536052677.46.0.56676864532.issue33613@psf.upfronthosting.co.za> |
2018-09-04 09:17:57 | vstinner | link | issue33613 messages |
2018-09-04 09:17:57 | vstinner | create | |
|