diff options
| author | Brian Anderson <banderson@mozilla.com> | 2011-08-01 11:01:59 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2011-08-01 11:01:59 -0700 |
| commit | 7b87fa368333130830aea07f3d01aff4b009cbaa (patch) | |
| tree | 7e8657f42c6ca6a448e255b2c5421caa5614acc6 /src/rt/rust_scheduler.cpp | |
| parent | 4837a57df50e6dcc22b4ba39ad86f291439878af (diff) | |
| download | rust-7b87fa368333130830aea07f3d01aff4b009cbaa.tar.gz rust-7b87fa368333130830aea07f3d01aff4b009cbaa.zip | |
Replace a lock/unlock with scoped_lock in rust_scheduler::create_task
Diffstat (limited to 'src/rt/rust_scheduler.cpp')
| -rw-r--r-- | src/rt/rust_scheduler.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/rt/rust_scheduler.cpp b/src/rt/rust_scheduler.cpp index 47011e5a78d..2c4b886b6e2 100644 --- a/src/rt/rust_scheduler.cpp +++ b/src/rt/rust_scheduler.cpp @@ -272,9 +272,11 @@ rust_scheduler::create_task(rust_task *spawner, const char *name) { task->pin(spawner->pinned_on); task->on_wakeup(spawner->_on_wakeup); } - lock.lock(); - newborn_tasks.append(task); - lock.unlock(); + + { + scoped_lock with(lock); + newborn_tasks.append(task); + } sync::increment(kernel->live_tasks); |
