proc_mgmt: make sure that exit message is sent before things are
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Fri, 29 Sep 2017 13:03:17 +0000 (15:03 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Fri, 29 Sep 2017 13:03:17 +0000 (15:03 +0200)
commit88bcae7edb9da46d33d5ba0408c6966ab6c7a5db
tree2f069a427aded63a767e06f2c03651328b1b39ed
parent32dcc2e3279c523a1ae05ec2a610d204e0ed19ce
proc_mgmt: make sure that exit message is sent before things are
cleaned up

This avoids getting stuck when a process is waiting for a process on the
same core to finish. In some cases the exit message was not sent by the
other process before the cleanup and it never reached the proc_mgmt

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
lib/barrelfish/proc_mgmt_client.c