Message346034
Currently, SemLock does not provide a way to explicitly delete it. Maybe a new close() method should be added, similar to Process.close() and Pool.terminate(), to make resource management more deterministic (more reliable). |
|
Date |
User |
Action |
Args |
2019-06-19 10:00:46 | vstinner | set | recipients:
+ vstinner, pitrou, pablogsal |
2019-06-19 10:00:46 | vstinner | set | messageid: <1560938446.97.0.83771557767.issue37338@roundup.psfhosted.org> |
2019-06-19 10:00:46 | vstinner | link | issue37338 messages |
2019-06-19 10:00:46 | vstinner | create | |
|