monitor: replace cap_destroy() in identify_cap() rpc with capops_delete() release2015-10-30
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 28 Oct 2015 17:21:15 +0000 (18:21 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 28 Oct 2015 17:21:15 +0000 (18:21 +0100)
commitabea89f15f25ac93768212772b21e9fffeb1abee
treef4b284e61b842d8c4c683e429d35d869b8e8014f
parent470b6c440a0ef61332c52ce25f934210cba3f00f
monitor: replace cap_destroy() in identify_cap() rpc with capops_delete()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
usr/monitor/monitor_rpc_server.c