Change 'exit' from RPC to message in if/proc_mgmt.if.
[barrelfish] / if / proc_mgmt.if
index 6ff2980..7c53aa3 100644 (file)
@@ -40,8 +40,7 @@ interface proc_mgmt "Process management service" {
 
   // Let the process manager know the caller has finished execution.
   message exit(cap domain_cap, uint8 status);
+  //rpc exit(in cap domain_cap, in uint8 status);
 
-  rpc wait(in cap domain_wap, out errval err, out uint8 status);
-
-  // TODO(razvan): exit, wait, status, some other calls from spawn.if?
+  rpc wait(in cap domain_cap, out errval err, out uint8 status);
 };