On Mon, Mar 26, 2018 at 09:50:22AM -0600, Warren Young wrote:
> On Mar 24, 2018, at 5:11 PM, Svyatoslav Mishyn <svyatoslav.mis...@gmail.com> 
> wrote:
> > 
> > just noticed that page generation of many of my repos is 0.001s.
> 
> The calculation for that is in the skin’s Footer code:
> 
>     [expr {([utime]+[stime]+1000)/1000*0.001}]
> 
> In TH1, the utime and stime functions return microseconds, so + 1000
> means “add one millisecond”, so that when dividing microseconds down
> to seconds with the subsequent arithmetic, the resulting value can never be 
> lower than 0.001s.

That's a very complicated way to just add 0.001 if that is the
intention. If the goal is to round up, it would be better to add 999 :)

Joerg
_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users

Reply via email to