diff doc/style.css @ 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 86531a7038ed
children 4b0fc75f9403
line wrap: on
line diff