Hi Charles,
thanks for the feature proposal. I have just updated the function signatures of util:mem() and util:time() with a third string argument to label the profiling results [1]; feel free to check out the latest snapshot [2].
Christian
[1] http://docs.basex.org/wiki/Utility_Module#Profiling [2] http://docs.basex.org/wiki/Releases ___________________________
On Tue, Feb 21, 2012 at 8:55 PM, Charles Duffy charles@dyfis.net wrote:
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 BaseX-Talk@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk