Add header to recording with metadata
commitda072744d641b26b390eb9ce6d840a244bd8e3f1
authorAlexander Chow <achow@fb.com>
Sat, 28 Jan 2017 08:47:31 +0000 (28 00:47 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Sat, 28 Jan 2017 09:14:44 +0000 (28 01:14 -0800)
tree7332bb2dee8f2071927cd6434aec6139c900ccc9
parentf29a327c390defeab5df0dbd384199c3e85f591f
Add header to recording with metadata

Summary: Add header to recording with metadata

Differential Revision: D4407967

fbshipit-source-id: f490a0cf55de097fe4424294f1f696796d02ac24
15 files changed:
hphp/hack/src/debug/debug_event.ml
hphp/hack/src/recorder/recorder.ml
hphp/hack/src/recorder/recorder_cat.ml
hphp/hack/src/recorder/recorder_daemon.ml
hphp/hack/src/recorder/recorder_types.ml
hphp/hack/src/recorder/turntable.ml
hphp/hack/src/server/serverInit.ml
hphp/hack/src/utils/hh_json/hh_json.ml
hphp/hack/src/utils/hh_json/hh_json.mli
hphp/hack/test/integration/mini_state_test_driver.py
hphp/hack/test/integration/recorder_test.ml
hphp/hack/test/integration/test_save_mini.py
hphp/hack/test/unit/recorder/recorder_unit_test.ml [new file with mode: 0644]
hphp/hack/test/unit/unit_test.ml
hphp/hack/test/utils/asserter/asserter.ml