Message152838
Patch version 12:
* os.stat().st_birthtime uses also the timestamp argument
* Add an optional timestamp argument to os.wait3() and os.wait4(): change type of utime and stime attributes of the resource usage
* os.stat() changes the timestamp resolution depending if nanosecond resolution is available or not
I realized that resource.getrusage() should also be modified. I will maybe do that in another version of the patch, or maybe change resource usage in another patch. |
|
Date |
User |
Action |
Args |
2012-02-08 03:57:39 | vstinner | set | recipients:
+ vstinner, loewis, mark.dickinson, belopolsky, pitrou, eric.smith, Arfrever, skrah, Alexander.Belopolsky |
2012-02-08 03:57:38 | vstinner | set | messageid: <1328673458.83.0.989048606192.issue13882@psf.upfronthosting.co.za> |
2012-02-08 03:57:38 | vstinner | link | issue13882 messages |
2012-02-08 03:57:38 | vstinner | create | |
|