Change 'exit' from RPC to message in if/proc_mgmt.if.
authorRazvan Damachi <damachir@emmentaler2.ethz.ch>
Fri, 25 Aug 2017 14:31:12 +0000 (16:31 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:10 +0000 (16:35 +0200)
commitbdce97c26d57af363dc67940e5cf0b8a70ce8a28
treebdf7d26246312df3f8c8799077581506c1fb1de2
parentabebb561dcb57870dd76a38ad31449b5e02de4e7
Change 'exit' from RPC to message in if/proc_mgmt.if.

Having 'exit' as an RPC caused a bug where the client's capabilities were
revoked while it was waiting for a response to RPC exit, causing the UMP
driver to throw a cap_transfer error in the client's monitor.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
if/proc_mgmt.if
lib/barrelfish/proc_mgmt_client.c
usr/proc_mgmt/service.c