On Mon, 16 Oct 2017 19:20:44 +0200 Victor Stinner <victor.stin...@gmail.com> wrote: > Oh, now I'm confused. I misunderstood your previous message. I understood > that you changed you mind and didn't want to add process_time_ns(). > > Can you elaborate why you consider that time.process_time_ns() is needed, > but not the nanosecond flavor of os.times() nor resource.getrusage()? These > functions use the same or similar clock, no?
I didn't say they weren't needed, I said that we could restrict ourselves to the time module for the time being if it makes things easier. But if you want to tackle all of them at once, go for it! :-) Regards Antoine. _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
