[Python-Dev] time.clock_info() field names (original) (raw)
Victor Stinner victor.stinner at gmail.com
Fri May 4 02:21:44 CEST 2012
- Previous message: [Python-Dev] time.clock_info() field names
- Next message: [Python-Dev] time.clock_info() field names
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
I'm -1 on that. To my mind "adjustable" suggests that the caller can adjust the clock, while "adjusted" suggests that the clock may be adjusted by a mechanism outside the caller's hands. That latter is the meaning in the context of the PEP.
Anyway, the implementation and/or the documentation is buggy and should be fixed (especially the Windows case).
Victor
- Previous message: [Python-Dev] time.clock_info() field names
- Next message: [Python-Dev] time.clock_info() field names
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]