projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 908f2c9) | patch
monitor: bugfixes in the revocation protocol
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 5 Aug 2015 15:18:40 +0000 (17:18 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Tue, 11 Aug 2015 09:19:40 +0000 (11:19 +0200)
commit323350320021af4b754ef6982676254eee722196
tree44c6a6f3bf5c699e46f429533c3191beb14ddfa7tree | snapshot
parent908f2c97b3dd3947302bf91964a15abeb75cd517commit | diff
monitor: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
usr/monitor/capops/internal.h diff | blob | history
usr/monitor/capops/retrieve.c diff | blob | history
usr/monitor/capops/revoke.c diff | blob | history
Barrelfish OS git repo