| commit | a02fc08ec9dd8479a6430155b6a433da09f6ff10 | [log] [tgz] |
|---|---|---|
| author | Jason Evans <je@facebook.com> | Wed Mar 31 17:35:51 2010 -0700 |
| committer | Jason Evans <je@facebook.com> | Wed Mar 31 17:35:51 2010 -0700 |
| tree | f4008e4a620301de2326c9ec84ae0bfcca237c80 | |
| parent | 0b270a991dd7822b7c7e13d9219f235a5dde9fdf [diff] |
Make interval-triggered profile dumping optional. Make it possible to disable interval-triggered profile dumping, even if profiling is enabled. This is useful if the user only wants a single dump at exit, or if the application manually triggers profile dumps.