diff options
| author | Brian Anderson <banderson@mozilla.com> | 2013-01-08 19:46:12 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2013-01-15 18:00:19 -0800 |
| commit | 090b247056a9dd2d4d4a32c631fe2f0ddd3e744d (patch) | |
| tree | b7b9d7ab483fa7150480f90c9a5ad69905753685 /src/rt/rust.cpp | |
| parent | 989667e545cb45265d3cb4b19500224459c3bf8c (diff) | |
| download | rust-090b247056a9dd2d4d4a32c631fe2f0ddd3e744d.tar.gz rust-090b247056a9dd2d4d4a32c631fe2f0ddd3e744d.zip | |
Spawn new tasks onto the primary scheduler by default. #3760
Diffstat (limited to 'src/rt/rust.cpp')
| -rw-r--r-- | src/rt/rust.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp index f21a7441640..803da32cbc8 100644 --- a/src/rt/rust.cpp +++ b/src/rt/rust.cpp @@ -43,8 +43,8 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) { rust_kernel *kernel = new rust_kernel(env); - // Create the main scheduler and the main task - rust_sched_id sched_id = kernel->create_scheduler(env->num_sched_threads); + // Create the main task + rust_sched_id sched_id = kernel->main_sched_id(); rust_scheduler *sched = kernel->get_scheduler_by_id(sched_id); assert(sched != NULL); rust_task *root_task = sched->create_task(NULL, "main"); |