From c877f31730b3cf156d0b36355ebc99d2e85e455b Mon Sep 17 00:00:00 2001 From: Michael Bebenita Date: Wed, 8 Sep 2010 22:20:31 -0700 Subject: Fixed lost signal notifications. --- src/rt/rust_kernel.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/rt/rust_kernel.cpp') diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp index b94c6c1aca0..b70cdcbaf34 100644 --- a/src/rt/rust_kernel.cpp +++ b/src/rt/rust_kernel.cpp @@ -22,8 +22,8 @@ rust_kernel::create_domain(const rust_crate *crate, const char *name) { message_queue->associate(handle); domains.append(dom); message_queues.append(message_queue); - _kernel_lock.unlock(); _kernel_lock.signal(); + _kernel_lock.unlock(); return handle; } @@ -37,8 +37,8 @@ rust_kernel::destroy_domain(rust_dom *dom) { rust_srv *srv = dom->srv; delete dom; delete srv; - _kernel_lock.unlock(); _kernel_lock.signal(); + _kernel_lock.unlock(); } rust_handle * @@ -161,7 +161,9 @@ void rust_kernel::terminate_kernel_loop() { log(rust_log::KERN, "terminating kernel loop"); _interrupt_kernel_loop = true; + _kernel_lock.lock(); _kernel_lock.signal(); + _kernel_lock.unlock(); join(); } -- cgit 1.4.1-3-g733a5