| commit | ad95c2d25c5fe5c4c88b73de2c60722ba56572e9 | [log] [tgz] |
|---|---|---|
| author | Victor Stinner <victor.stinner@gmail.com> | Wed Mar 28 02:54:15 2012 +0200 |
| committer | Victor Stinner <victor.stinner@gmail.com> | Wed Mar 28 02:54:15 2012 +0200 |
| tree | 91d69b740b60b5d393e303cac839b3e506e5431e | |
| parent | 74eb6c0e8bcdab65ac10f5a0a880768eef15a601 [diff] |
time.time() now uses clock_gettime(CLOCK_REALTIME) if available clock_gettime(CLOCK_REALTIME) has a better resolution than gettimeofday(). time.time() falls back on gettimeofday() (and then on other functions) on error.