From 4a58e63b92dcbce16252618582c5b6a387c9b095 Mon Sep 17 00:00:00 2001
From: Millie Chen <milliechen@fb.com>
Date: Mon, 30 Nov 2020 13:11:10 -0800
Subject: [PATCH] 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 | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/hphp/hack/src/server/serverLocalConfig.ml b/hphp/hack/src/server/serverLocalConfig.ml
index eb80c09b5f0..2b48376a328 100644
--- a/hphp/hack/src/server/serverLocalConfig.ml
+++ b/hphp/hack/src/server/serverLocalConfig.ml
@@ -503,6 +503,8 @@ type t = {
   (* Allows unstabled features to be enabled within a file via the '__EnableUnstableFeatures' attribute *)
   allow_unstable_features: bool;
   watchman: Watchman.t;
+  (* If enabled, saves naming table into a temp folder and uploads it to the remote typechecker *)
+  save_and_upload_naming_table: bool;
 }
 
 let default =
@@ -587,6 +589,7 @@ let default =
     go_to_implementation = true;
     allow_unstable_features = false;
     watchman = Watchman.default;
+    save_and_upload_naming_table = false;
   }
 
 let path =
@@ -1056,6 +1059,12 @@ let load_ fn ~silent ~current_version overrides =
       ~default:default.allow_unstable_features
       config
   in
+  let save_and_upload_naming_table =
+    bool_if_version
+      "save_and_upload_naming_table"
+      ~default:default.save_and_upload_naming_table
+      config
+  in
   {
     min_log_level;
     attempt_fix_credentials;
@@ -1136,6 +1145,7 @@ let load_ fn ~silent ~current_version overrides =
     allow_unstable_features;
     watchman;
     force_remote_type_check;
+    save_and_upload_naming_table;
   }
 
 let load ~silent ~current_version config_overrides =
-- 
2.11.4.GIT