diff options
author | bunnei <bunneidev@gmail.com> | 2021-02-20 21:15:00 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-20 21:15:00 -0800 |
commit | 3d0394681c07fddc48cdee956329db89254b763d (patch) | |
tree | 15e4fc8fb15f1d574063d89649c62bda74ac02b2 /src/core/core.cpp | |
parent | 2807a98168a08a0cebe5c0db42d14d0f2f03f117 (diff) | |
parent | 8e4c9c9852b17082f9cb2e2b3d954dee6be7280f (diff) |
Merge pull request #5971 from ameerj/reslimit-dtor
kernel: Fix resource release exception on exit
Diffstat (limited to 'src/core/core.cpp')
-rw-r--r-- | src/core/core.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core/core.cpp b/src/core/core.cpp index 30f5e1128..de6305e2a 100644 --- a/src/core/core.cpp +++ b/src/core/core.cpp @@ -308,6 +308,9 @@ struct System::Impl { // Close all CPU/threading state cpu_manager.Shutdown(); + // Release the Time Manager's resources + time_manager.Shutdown(); + // Shutdown kernel and core timing core_timing.Shutdown(); kernel.Shutdown(); |