Message205968
I think os.replace() should be used instead os.rename(). Or pair os.unlink()/os.rename().
And perhaps for decreasing chance of race between creating .c and .h files, both renames should be done after writing both files. |
|
Date |
User |
Action |
Args |
2013-12-12 17:42:44 | serhiy.storchaka | set | recipients:
+ serhiy.storchaka, brett.cannon, georg.brandl, ncoghlan, benjamin.peterson, Arfrever |
2013-12-12 17:42:44 | serhiy.storchaka | set | messageid: <1386870164.3.0.950265144743.issue19965@psf.upfronthosting.co.za> |
2013-12-12 17:42:44 | serhiy.storchaka | link | issue19965 messages |
2013-12-12 17:42:44 | serhiy.storchaka | create | |
|