![]() |
|
|
+ Search |
![]()
|
Aug 24th, 2000 18:46
unknown unknown, Dan Schmidt
Whenever I have to do precise timing in a scripting language, I look at how the profiler does it, and it worked this time too. Look at how Profile.__init__ in profile.py: sets self.timer; it does some special-casing based on OS-specific things.