diff doc/gendoc.py @ 26191:39a0b11158d8

profiling: allow logging profile to the blackbox This allows specifying '--config profiling.output=blackbox' which will log the profile output to the blackbox (if enabled). This is useful for doing profiling on the server since it allows us to record the command, it's result, any exceptions, and it's profile, all in one spot. And we get log rotation for free.
author Durham Goode <durham@fb.com>
date Tue, 08 Sep 2015 11:39:52 -0700
parents e0b29a0c36c4
children 7e8e3c0920a6
line wrap: on
line diff