From cdc8ad8aee6e2039feac52feb5c1f8da5be81ea7 Mon Sep 17 00:00:00 2001
From: pca006132 <john.lck40@gmail.com>
Date: Thu, 3 Sep 2020 16:50:33 +0800
Subject: [PATCH] runtime/kernel/control: fixed memory leak

---
 src/runtime/src/kernel/control.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/src/kernel/control.rs b/src/runtime/src/kernel/control.rs
index 3ffe1319..05f6ea40 100644
--- a/src/runtime/src/kernel/control.rs
+++ b/src/runtime/src/kernel/control.rs
@@ -41,7 +41,7 @@ impl Control {
 
     pub fn restart(&mut self) {
         {
-            INIT_LOCK.lock();
+            let _lock = INIT_LOCK.lock();
             restart_core1();
             unsafe {
                 self.tx.drop_elements();