?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: cf97728) | patch
write fileinfo to table
commit155a51a01171ed204f69d354ed30f01b2ebca21e
authorGreg Nisbet <gregorynisbet@fb.com>
Thu, 19 Apr 2018 06:32:43 +0000 (18 23:32 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 19 Apr 2018 06:34:41 +0000 (18 23:34 -0700)
treee05e001a5c965681a62a839cfe9507a24b3184d6tree | snapshot (tar.gz zip)
parentcf977284d267b1345f4198febc55cfe0e9d775a8commit | diff
write fileinfo to table

Summary: perform the write when `--file-info-on-disk` is set

Reviewed By: gabelevi

Differential Revision: D7459573

fbshipit-source-id: e7779ed0a617c819a409cc0c1ec2cc672b53092c
hphp/hack/src/heap/hh_shared.c diff | blob | blame | history
hphp/hack/src/heap/sharedMem.ml diff | blob | blame | history
hphp/hack/src/heap/sharedMem.mli diff | blob | blame | history
hphp/hack/src/server/saveStateService.ml diff | blob | blame | history