| commit | 00bdeb4cdbb6a97f39311f603fc630980045de94 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Thu, 23 Apr 2020 05:48:40 +0000 (22 22:48 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 23 Apr 2020 06:06:36 +0000 (22 23:06 -0700) | ||
| tree | 19e7ec01f07af58f0e937e88bfbb027e08a97ac1 | treesnapshot (tar.gz zip) |
| parent | 81494ab550a2a43c2b8e25cbc2adafa91b2d58d6 | commitdiff |
Pending_init and During_init states
Summary:
In this diff I rename "Pre_init" to "Pending_init" for no good reason.
I introduce a new state called "During_init" for after we've initialized globals and tcopt and glean, but before we've received a response from saved-state-loader.
I'm not actually using that state at all. This diff merely lays down the data-structures.
Reviewed By: arxanas
Differential Revision: D21082565
fbshipit-source-id: a7ec30a1e2339cbc10975e03460948c5b1a786b1
Summary:
In this diff I rename "Pre_init" to "Pending_init" for no good reason.
I introduce a new state called "During_init" for after we've initialized globals and tcopt and glean, but before we've received a response from saved-state-loader.
I'm not actually using that state at all. This diff merely lays down the data-structures.
Reviewed By: arxanas
Differential Revision: D21082565
fbshipit-source-id: a7ec30a1e2339cbc10975e03460948c5b1a786b1
| hphp/hack/src/client/ide_service/clientIdeDaemon.ml | diffblobblamehistory |