Re: Changes to recorded execution times for function stats

2019-10-17 Thread Aaron Lindsey
I haven't heard any objections to this, so we plan to move forward with these changes. - Aaron On Tue, Oct 15, 2019 at 4:29 PM Aaron Lindsey wrote: > Hi Geode devs, > > This PR makes small changes > to the execution times recorded by function stats.

Changes to recorded execution times for function stats

2019-10-15 Thread Aaron Lindsey
Hi Geode devs, This PR makes small changes to the execution times recorded by function stats. I wanted to run this by the dev list to make sure this will not cause problems for users who rely on these stats: - In ServerFunctionExecutor and ServerRegi