Antoine Pitrou added the comment: Hi Alexander,
> 5% is a lot and IIRC os.times is used by some standard python profilers > and 5% slowdown will affect people. Profiled runs are always slower than non-profiled runs, so I'm not convinced it is very important. You use profiling only when you need it, not in normal production conditions. However, fetching the value only once and then caching it is a valid approach, so you can produce an updated patch for that if you want :-) _____________________________________ Tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue1040026> _____________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
