tree 6dac2816d0cc3be244429ffbbd40edc610c4fa6c
parent 89454f8331cd7d582eafca87c6586feb5db509c7
author Dianne Hackborn <hackbod@google.com> 1365485339 -0700
committer Dianne Hackborn <hackbod@google.com> 1365485339 -0700

Kill processes when permissions are revoked.

Some permissions are associated with gids, so we need to
kill any running processes if their permission is revoked.
We will do this for any permission being revoked, since
the association between gids and permissions can change
over time.

Change-Id: Ieb7408e032539c4f21eb089d65a7a7e6c289f010