diff options
| author | Fernando Sahmkow <fsahmkow27@gmail.com> | 2019-10-12 08:21:51 -0400 |
|---|---|---|
| committer | FernandoS27 <fsahmkow27@gmail.com> | 2019-10-15 11:55:24 -0400 |
| commit | 25f8606a6dab595eb7a92fce9be32e0489079964 (patch) | |
| tree | 66ab40014264b8ef8567831ba438e29dd672b255 /src/core/cpu_core_manager.cpp | |
| parent | b3c1deba494d78158ea6764802880b249fe64416 (diff) | |
Kernel Scheduler: Make sure the global scheduler shutdowns correctly.
Diffstat (limited to 'src/core/cpu_core_manager.cpp')
| -rw-r--r-- | src/core/cpu_core_manager.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/cpu_core_manager.cpp b/src/core/cpu_core_manager.cpp index 16b384076..8efd410bb 100644 --- a/src/core/cpu_core_manager.cpp +++ b/src/core/cpu_core_manager.cpp @@ -58,6 +58,7 @@ void CpuCoreManager::Shutdown() { thread_to_cpu.clear(); for (auto& cpu_core : cores) { + cpu_core->Shutdown(); cpu_core.reset(); } |