From 9fd6034e945891ed55c14d70721f0e6804ece549 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 29 Apr 2014 09:45:47 +0200
Subject: [PATCH] base: check cpu_session pointer during destruction

Issue #1122
---
 base/src/base/thread/thread_start.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/base/src/base/thread/thread_start.cc b/base/src/base/thread/thread_start.cc
index 17e040cb0..1eec30546 100644
--- a/base/src/base/thread/thread_start.cc
+++ b/base/src/base/thread/thread_start.cc
@@ -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);
 }