Add server config option for saving+uploading naming table
commit4a58e63b92dcbce16252618582c5b6a387c9b095
authorMillie Chen <milliechen@fb.com>
Mon, 30 Nov 2020 21:11:10 +0000 (30 13:11 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 30 Nov 2020 21:13:50 +0000 (30 13:13 -0800)
tree1bb420abbbb4a2fc3d12902caeb61fd36dc82965
parent91ed94d1fcb1ff1e29be95c2095c38543bc2cf55
Add server config option for saving+uploading naming table

Summary: same as last diff but for hh server

Reviewed By: yinghuitan

Differential Revision: D25032588

fbshipit-source-id: c6f2b5eb60dee32eb21eeb842698c68b437fee4f
hphp/hack/src/server/serverLocalConfig.ml