Implement "wait" in the process manager + fix bug in kill reply handler.
authorRazvan Damachi <razvan.damachi@gmail.com>
Thu, 22 Jun 2017 08:08:30 +0000 (10:08 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:08 +0000 (16:35 +0200)
commita697aaea1aad6da91fab3bf01683313b90e83a53
treeb89a07a885404754ea714db7abde53ad0f79f699
parent0478b6d2e561db46403bb31e1eb14c445ddaebf3
Implement "wait" in the process manager + fix bug in kill reply handler.

On receiving a kill reply from some spawnd, the process manager will re-add the
pending client to the hash table if it expects to receive further such replies
for the same domain, i.e. if there are still spawnds running it.

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