Send BaseX-Talk mailing list submissions to
To subscribe or unsubscribe via the World Wide Web, visit
or, via email, send a message with subject or body 'help' to
You can reach the person managing the list at
When replying, please edit your Subject line so it is more specific
than "Re: Contents of BaseX-Talk digest..."
Today's Topics:
1. Re: Feature requests: Backups, Indexes, Execution Times
(Christian Gr?n)
----------------------------------------------------------------------
Message: 1
Date: Sat, 6 Feb 2021 11:12:01 +0100
Subject: Re: [basex-talk] Feature requests: Backups, Indexes,
Execution Times
Message-ID:
Content-Type: text/plain; charset="UTF-8"
Execution times will now be shown in the MM:SS.mm or HH:MM:SS.mm
format, but only?
? in the header of the info view, and
? if the measured time exceeds 60 seconds.
A new snapshot is available [1].
Have fun,
Christian
>
> On Thu, Feb 04, 2021 at 05:21:24PM +0100, Christian Gr?n scripsit:
> > > - *Human readable execution times in GUI*: Maybe a small change but
> > > - at least in my case - it would make developing performant xQueries
> > > much easier: Having the "Timing" section in the Info-View of the GUI
> > > display human readable times. Right now, the values are displayed
> > > only in milliseconds like 175713.28 ms. But an additional display in
> > > a more human readable format, e. g. hh:mm:ss.ms would sometimes be
> > > very useful.
> > >
> > Sounds reasonable and doable. I?ll think about it.
>
> Please leave the time formatting switchable! I'd strongly prefer
> straight milliseconds to a human-readable format.
>
> --
> ??s ofer?ode, ?isses sw? m?g.
> -- Deor ("That passed, so may this.")
End of BaseX-Talk Digest, Vol 134, Issue 3
******************************************