diff options
| author | Carl Lerche <me@carllerche.com> | 2019-11-16 07:19:45 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-16 07:19:45 -0800 |
| commit | 3f0eabe7798de624f5ee9c7562803bfb97e6088f (patch) | |
| tree | 6458345730f7eae674ec1e7ea82f120a5f1b70bc /.gitignore | |
| parent | 1474794055e291c544c3c95d6381d549cefbd7d5 (diff) | |
runtime: rename current_thread -> basic_scheduler (#1769)
It no longer supports executing !Send futures. The use case for
It is wanting a “light” runtime. There will be “local” task execution
using a different strategy coming later.
This patch also renames `thread_pool` -> `threaded_scheduler`, but
only in public APIs for now.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions