Change 'exit' from RPC to message in if/proc_mgmt.if.
[barrelfish] / if / proc_mgmt.if
index 4b02a0c..7c53aa3 100644 (file)
@@ -39,10 +39,8 @@ interface proc_mgmt "Process management service" {
   rpc kill(in cap domain_cap, out errval err);
 
   // 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);
+  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);
 };