diff options
| author | Ben Noordhuis <info@bnoordhuis.nl> | 2021-07-30 13:36:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-30 13:36:43 +0200 |
| commit | c909faf9e6cd2964398da7c0852d0229cdd1a22b (patch) | |
| tree | 033eb0e7edf86f120b9d96a8f591586d5b46e203 /cli/program_state.rs | |
| parent | 2b13bb694532904704c16bec4e8a47c386e681e2 (diff) | |
chore(core): use oneshot channel in mod_evaluate() (#11556)
Oneshot is more appropriate because mod_evaluate() only sends a single
value.
It also makes it easier to use it correctly. As an embedder, I wasn't
sure if I'm expected to drain the channel or not.
Diffstat (limited to 'cli/program_state.rs')
0 files changed, 0 insertions, 0 deletions