Rust: don't panic when loading a kernel twice in same session.

2016-10-06 12:55:19 +00:00 · 2016-10-06 12:55:19 +00:00 · 84214ab0d1
parent 6b2789e3db
commit 84214ab0d1
1 changed files with 3 additions and 0 deletions
--- a/artiq/runtime.rs/src/session.rs
+++ b/artiq/runtime.rs/src/session.rs
@ -351,7 +351,10 @@ fn process_kern_message(waiter: Waiter,

            kern::RunFinished => {
                try!(kern_acknowledge());
+
+                kernel::stop();
                session.kernel_state = KernelState::Absent;
+
                return Ok(true)
            }