Fix an integer rounding error in Profiler

diff --git a/source/debug/profiler.cpp b/source/debug/profiler.cpp
index 4251797a974bb33e676b288120c03a57f97f0d1b..af1380000639c9698ae333046654b11026929495 100644 (file)
--- a/source/debug/profiler.cpp
+++ b/source/debug/profiler.cpp
@@ -68,7 +68,7 @@ void Profiler::record(const string &scope_name, const string &parent, const Time
        si.self_time+=time-child_t;
        if(period)
        {
-               si.avg_time+=(time-si.history[si.hist_pos])/period;
+               si.avg_time+=time/period-si.history[si.hist_pos]/period;
                si.history[si.hist_pos++]=time;
                if(si.hist_pos>=period)
                        si.hist_pos-=period;