Implement kill() and exit() in the process manager.

[barrelfish] / usr / proc_mgmt / pending_clients.h

diff --git a/usr/proc_mgmt/pending_clients.h b/usr/proc_mgmt/pending_clients.h
index 32261e4..94d239e 100644 (file)
--- a/usr/proc_mgmt/pending_clients.h
+++ b/usr/proc_mgmt/pending_clients.h
@@ -22,6 +22,7 @@ enum ClientType {
        ClientType_SpawnWithCaps,
        ClientType_Span,
        ClientType_Kill,
+       ClientType_Exit,
        ClientType_Wait
        // TODO(razvan): Others?
 };