From 7f6d8b95bd3340ea5fa32874243dac036208105b Mon Sep 17 00:00:00 2001
From: Michael Bebenita <mbebenita@mozilla.com>
Date: Tue, 7 Sep 2010 23:37:51 -0700
Subject: Fixed race in the rust kernel.

---
 src/rt/rust_kernel.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/rt/rust_kernel.h')

diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h
index 902a9a2f..8c599c1f 100644
--- a/src/rt/rust_kernel.h
+++ b/src/rt/rust_kernel.h
@@ -60,6 +60,9 @@ class rust_kernel : public rust_thread {
      */
     spin_lock _message_queues_lock;
 
+    void terminate_kernel_loop();
+    void pump_message_queues();
+
 public:
 
     /**
-- 
cgit v1.2.3