Kristján Valur Jónsson <krist...@ccpgames.com> added the comment: Certainly. I was going to put this simple code in time.py when I realized that time was a C module.
The main point, as Antoine points out, is that time.clock() means two seriously different things on the two main platforms, and time.clock() is potentially inadequate on one of them. I put in the patch since it was quick to do, but I'll provoke a discussion on python-ideas for now. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue10278> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
