| commit | 5a8c5665ac1be2ec7ae6c2eb67411b37155d3272 | |
| author | Tatiana Racheva <tatianaracheva@fb.com> | |
| Fri, 13 Mar 2020 23:31:02 +0000 (13 16:31 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 13 Mar 2020 23:50:56 +0000 (13 16:50 -0700) | ||
| tree | 11543a5d774b005dcac8eaa982e0072175562725 | treesnapshot (tar.gz zip) |
| parent | 041d83531aca6fc205545b8846e11fae9efaae49 | commitdiff |
Keep the list of changed files in env
Summary: Accumulate the list of "dirty" files in a set in the server environment. We already accumulate the set of files we rechecked in ServerPrecheckedFiles, and this set will be much smaller because it will only include a set of files that changed since the saved state.
Reviewed By: yinghuitan
Differential Revision: D20401419
fbshipit-source-id: 974312669f016ebc0af7df4a49816e000baa4f4c
Summary: Accumulate the list of "dirty" files in a set in the server environment. We already accumulate the set of files we rechecked in ServerPrecheckedFiles, and this set will be much smaller because it will only include a set of files that changed since the saved state.
Reviewed By: yinghuitan
Differential Revision: D20401419
fbshipit-source-id: 974312669f016ebc0af7df4a49816e000baa4f4c
| hphp/hack/src/server/serverEnv.ml | diffblobblamehistory | |
| hphp/hack/src/server/serverEnvBuild.ml | diffblobblamehistory | |
| hphp/hack/src/server/serverLazyInit.ml | diffblobblamehistory |