---

yaml
---
r: 12260
b: refs/heads/master
c: 0a5e9d4
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 9ec21933f1b730862f85c4dc6a4e46359e84a865
+refs/heads/master: 0a5e9d45e172e6aeecefe02e668e454a870bca56
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rt/rust_sched_launcher.cpp

@@ -16,3 +16,7 @@ rust_thread_sched_launcher::rust_thread_sched_launcher(rust_scheduler *sched,
       rust_thread(SCHED_STACK_SIZE) {
 }
 
+rust_manual_sched_launcher::rust_manual_sched_launcher(rust_scheduler *sched,
+                                                       rust_srv *srv, int id)
+    : rust_sched_launcher(sched, srv, id) {
+}

trunk/src/rt/rust_sched_launcher.h

@@ -30,8 +30,16 @@ class rust_thread_sched_launcher
 public:
     rust_thread_sched_launcher(rust_scheduler *sched, rust_srv *srv, int id);
     virtual void start() { rust_thread::start(); }
-    virtual void run() { driver.start_main_loop(); }
     virtual void join() { rust_thread::join(); }
+    virtual void run() { driver.start_main_loop(); }
+};
+
+class rust_manual_sched_launcher : public rust_sched_launcher {
+public:
+  rust_manual_sched_launcher(rust_scheduler *sched, rust_srv *srv, int id);
+  virtual void start() { }
+  virtual void join() { }
+  void start_main_loop() { driver.start_main_loop(); }
 };
 
 #endif // RUST_SCHED_LAUNCHER_H