denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base: check cpu_session pointer during destruction

Browse Source 
Issue #1122
This commit is contained in:
Alexander Boettcher
2014-04-29 09:45:47 +02:00
committed by Christian Helmuth
parent a9fc5304c0
commit 9fd6034e94
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
base/src/base/thread/thread_start.cc
View File

@@ -38,6 +38,9 @@ void Thread_base::_thread_start()
void Thread_base::_deinit_platform_thread()
{
if (!_cpu_session)
_cpu_session = env()->cpu_session();
_cpu_session->kill_thread(_thread_cap);
}