From c7df65e1da48754fd69cf4ab010352f5b4e47ed3 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 16 Oct 2015 20:30:36 +0200
Subject: [PATCH] base: invalidate thread cap if task creation fails

Issue #1778
---
 repos/base/src/base/process/process.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base/src/base/process/process.cc b/repos/base/src/base/process/process.cc
index 5ac8d0139..8dd5248d7 100644
--- a/repos/base/src/base/process/process.cc
+++ b/repos/base/src/base/process/process.cc
@@ -292,6 +292,7 @@ Process::Process(Dataspace_capability    elf_ds_cap,
 		case ELF_FAIL:
 
 			_cpu_session_client.kill_thread(_thread0_cap);
+			_thread0_cap = Thread_capability();
 
 		case THREAD_FAIL: