[Babel-users] babelweb "time to dump"

Gabriel Kerneis gabriel at kerneis.info
Mon Mar 28 17:18:01 UTC 2016



On Mon, Mar 28, 2016, at 19:16, Dave Taht wrote:
> Another useful stat in babel web would be for it to time how long
> it takes to get a dump
> 

It uses the streaming interface, not the dump one. 

-- 
Gabriel



More information about the Babel-users mailing list