projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 245b622) | 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)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 5 Aug 2015 15:19:29 +0000 (17:19 +0200)
commitf895a7ccf030c68de848c3d513b8fd42e4d2ca98
tree0494530a55b734f2dea261f9fb408579d16d7ec6tree | snapshot
parent245b6228bd1ff6cc832b890a36a4d3c7eb8e0423commit | 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