| commit | 350ad1ed310b9be6d096b75d344c0b3396906746 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Sat, 4 Apr 2020 14:53:18 +0000 (4 07:53 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Sat, 4 Apr 2020 15:08:58 +0000 (4 08:08 -0700) | ||
| tree | 96e9084b30a869d20f8f201a0197b6e99e2d0d48 | treesnapshot (tar.gz zip) |
| parent | 9be9a4ef879310f9ef0bd523acbd40f573ed7e9c | commitdiff |
File_provider.push always pushes shmem
Summary:
This diff is part of a stack to make the provider.push_local_stack calls uniform. See D20832355 for the fruits of this labor. Uniform means:
1. they all have an identical name
2. this name indicates that they always operate upon sharedmem
3. they don't do anything other than sharedmem
4. they don't take a context
5. they don't switch upon ctx.backend nor Provider_backend.get. Instead they assume that the caller has done the switch.
Reviewed By: arxanas
Differential Revision: D20834233
fbshipit-source-id: 62482bbec307a491ec32e9e199fe30018c76de00
Summary:
This diff is part of a stack to make the provider.push_local_stack calls uniform. See D20832355 for the fruits of this labor. Uniform means:
1. they all have an identical name
2. this name indicates that they always operate upon sharedmem
3. they don't do anything other than sharedmem
4. they don't take a context
5. they don't switch upon ctx.backend nor Provider_backend.get. Instead they assume that the caller has done the switch.
Reviewed By: arxanas
Differential Revision: D20834233
fbshipit-source-id: 62482bbec307a491ec32e9e199fe30018c76de00
| hphp/hack/src/providers/file_provider.ml | diffblobblamehistory |