Howdy -- If I'm running a query which includes a number of util:time calls against different data, how can I know which one is doing what given that execution order is undefined? Is there another function I can use to emit an arbitrary value to the "info view"?
If not, an optional parameter providing a string to tag profiling times with would be convenient. Thanks! _______________________________________________ BaseX-Talk mailing list [email protected] https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk
