add option --saved-state-ignore-hhconfig similar to --ignore-hh-version
commitda2e062e0a13c71df734104f5780e8f1c27c69a2
authorCatherine Gasnier <catg@fb.com>
Fri, 1 Feb 2019 13:37:09 +0000 (1 05:37 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 1 Feb 2019 13:40:47 +0000 (1 05:40 -0800)
treed909ce832296184d1627f6346f6632a63c3e4260
parentdfc7ce3724e85566037de9f532d217a4e03f87e6
add option --saved-state-ignore-hhconfig similar to --ignore-hh-version

Summary:
Allows to load an existing saved state even if the hash of .hhconfig does not match the one in the saved state DB.

NB: I didn't call the option --ignore-hhconfig because:
* I would understand that option as "just take default config instead of reading from .hhconfig"
* --ignore-hh-version is not just for saved states but also differences in versions between hh_client and hh_server if I understand well.

Reviewed By: dabek

Differential Revision: D13840399

fbshipit-source-id: 419a22ce60240f2a93ef3db1d04d141c735a4cc0
17 files changed:
hphp/hack/src/client/clientArgs.ml
hphp/hack/src/client/clientBuild.ml
hphp/hack/src/client/clientCheck.ml
hphp/hack/src/client/clientConnect.ml
hphp/hack/src/client/clientDebug.ml
hphp/hack/src/client/clientEnv.ml
hphp/hack/src/client/clientLsp.ml
hphp/hack/src/client/clientStart.ml
hphp/hack/src/client/clientStart.mli
hphp/hack/src/server/hhMonitorInformant.ml
hphp/hack/src/server/hhMonitorInformant_sig.ml
hphp/hack/src/server/hhServerMonitor.ml
hphp/hack/src/server/serverArgs.ml
hphp/hack/src/server/serverArgs_sig.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/test/unit/informant/informant_server_lifetime_test.ml
hphp/hack/test/unit/informant/informant_test.ml