| commit | 7b6eab8d5e1cefc4feb03f1d56e9c55e1b469f60 | |
| author | Gabe Levi <gabe@fb.com> | |
| Wed, 1 Nov 2017 19:36:06 +0000 (1 12:36 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 1 Nov 2017 19:57:12 +0000 (1 12:57 -0700) | ||
| tree | 5dedfa22256828cfdf003a8d0afe413e3c6358d0 | treesnapshot (tar.gz zip) |
| parent | cc8755e535770deaec665c270f635a7ef81d997b | commitdiff |
Add an API to get the logging process' PID from EventLogger
Summary:
Flow's PidLog keeps track of which flow processes are which. For a
long time we've excluded the logging processes. I'm fixing this, but first I
need to be able to get the logging process' PID.
Reviewed By: samwgoldman
Differential Revision: D6209663
fbshipit-source-id: 77b32358c83e0db8d8536bcd47beb5a839eecee3
Summary:
Flow's PidLog keeps track of which flow processes are which. For a
long time we've excluded the logging processes. I'm fixing this, but first I
need to be able to get the logging process' PID.
Reviewed By: samwgoldman
Differential Revision: D6209663
fbshipit-source-id: 77b32358c83e0db8d8536bcd47beb5a839eecee3
| hphp/hack/src/stubs/eventLogger.ml | diffblobblamehistory |