git.barrelfish.org Git - barrelfish/commit

author	Razvan Damachi <razvan.damachi@gmail.com>
	Thu, 22 Jun 2017 08:08:30 +0000 (10:08 +0200)
committer	Simon Gerber <simon.gerber@inf.ethz.ch>
	Thu, 31 Aug 2017 14:35:08 +0000 (16:35 +0200)
commit	a697aaea1aad6da91fab3bf01683313b90e83a53
tree	b89a07a885404754ea714db7abde53ad0f79f699	tree \| snapshot
parent	0478b6d2e561db46403bb31e1eb14c445ddaebf3	commit \| diff

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		diff \| blob \| history
include/barrelfish/proc_mgmt_client.h		diff \| blob \| history
lib/barrelfish/proc_mgmt_client.c		diff \| blob \| history
usr/proc_mgmt/service.c		diff \| blob \| history

Barrelfish OS git repo

RSS Atom