git.barrelfish.org Git - barrelfish/commit

author	Simon Gerber <simon.gerber@inf.ethz.ch>
	Wed, 6 May 2015 15:55:48 +0000 (17:55 +0200)
committer	Simon Gerber <simon.gerber@inf.ethz.ch>
	Wed, 6 May 2015 15:55:48 +0000 (17:55 +0200)
commit	8e91faf65a8a2dfdda1c0bcd2d60af827b9222d4
tree	821938eac7648f448ba50a8bbaeb6b164fa4d9e6	tree \| snapshot
parent	d58dfb6172e6f1176a55540473fe029ee94f423a	commit \| diff

distops: fix typos and small bugs in delete state machine.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Barrelfish OS git repo

errors/errno.fugu		diff \| blob \| history
kernel/cap_delete.c		diff \| blob \| history
usr/monitor/capops/capsend.c		diff \| blob \| history
usr/monitor/capops/delete.c		diff \| blob \| history
usr/tests/multihoptest/multihoptest.c		diff \| blob \| history