Message212424
The documentation for os.times directs the reader: "See the Unix manual page times(2) or the corresponding Windows Platform API documentation."
However, the POSIX manual page in question is times(3P), and on OS X and BSD systems it's times(3). Falling back to "man times" without specifying a manual section also doesn't work, since this finds the bash builtin rather than the library function. |
|
Date |
User |
Action |
Args |
2014-02-28 12:33:25 | geoffreyspear | set | recipients:
+ geoffreyspear, docs@python |
2014-02-28 12:33:25 | geoffreyspear | set | messageid: <1393590805.13.0.860460942185.issue20806@psf.upfronthosting.co.za> |
2014-02-28 12:33:24 | geoffreyspear | link | issue20806 messages |
2014-02-28 12:33:24 | geoffreyspear | create | |
|