| commit | dffe634b1c4ffe900ea7bf29fb8280fb8fc6cd72 | [log] [tgz] |
|---|---|---|
| author | Nick Kralevich <nnk@google.com> | Mon Jan 27 23:09:47 2014 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jan 27 23:09:47 2014 +0000 |
| tree | 5a9054c228e35ff4b17d805281f57c83bb2ab641 | |
| parent | 1935173896944ee378c88e48d581047d7aa5e84d [diff] | |
| parent | 5eca63f14dbeb6962b275d091fd5e5f3ff9ef183 [diff] |
Merge "Make drmserver enforcing."
diff --git a/drmserver.te b/drmserver.te index af629a5..ba6b5c5 100644 --- a/drmserver.te +++ b/drmserver.te
@@ -1,6 +1,5 @@ # drmserver - DRM service type drmserver, domain; -permissive_or_unconfined(drmserver) type drmserver_exec, exec_type, file_type; init_daemon_domain(drmserver)