New relative path for temp directory files
commit68d04af2f7b032090eb81c3d11bcf6f3e664afe5
authorJames Wu <jjwu@fb.com>
Wed, 27 Sep 2017 01:00:42 +0000 (26 18:00 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 27 Sep 2017 01:09:45 +0000 (26 18:09 -0700)
treef21385007e2925046e0f20aead14b1b331a43468
parentb2c3cc0c8e845891fe811593ca70269f8762d7ed
New relative path for temp directory files

Summary: hg cat only allows us to save files to a directory, so we'll be saving the old files to a tmp directory inside /tmp/hh_server, and immediately deleting them after parsing it. This is the most error free way to grab the hg info. Otherwise, hg cat would return all the files in one big string, which is very difficult to parse as separate files.

Reviewed By: alexchow

Differential Revision: D5847171

fbshipit-source-id: 07ffaf8508660c6390a40720e2b144c80bd327b9
hphp/hack/src/server/hhServerMonitor.ml
hphp/hack/src/server/serverGlobalState.ml
hphp/hack/src/utils/relative_path.ml
hphp/hack/src/utils/relative_path.mli