[Babel-users] babelweb "time to dump"

Dave Taht dave.taht at gmail.com
Mon Mar 28 17:16:11 UTC 2016


Another useful stat in babel web would be for it to time how long
it takes to get a dump

start_timer
dump
get the dump
end_timer

On Mon, Mar 28, 2016 at 9:48 AM, Dave Taht <dave.taht at gmail.com> wrote:
> http://www.taht.net/~d/babelrtt.png
>
> guess I should go figure out how to forward to -G file huh.



More information about the Babel-users mailing list