Implement kill() and exit() in the process manager.
[barrelfish] / usr / proc_mgmt / pending_clients.h
index 32261e4..94d239e 100644 (file)
@@ -22,6 +22,7 @@ enum ClientType {
        ClientType_SpawnWithCaps,
        ClientType_Span,
        ClientType_Kill,
+       ClientType_Exit,
        ClientType_Wait
        // TODO(razvan): Others?
 };