From 3a9096d94f9d770185321aa836430850b6e97565 Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Tue, 16 Oct 2007 16:02:51 +0000 Subject: [PATCH] trunk: do not emit S_(0, 0, 0) in kernel headers for userspace classes that inherit commons. --- policy/flask/flask.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/policy/flask/flask.py b/policy/flask/flask.py index 35f77fa84..82e45b3a2 100644 --- a/policy/flask/flask.py +++ b/policy/flask/flask.py @@ -310,9 +310,7 @@ class Flask: i = self.inherits[c] count = len(self.common[i]) user = self.userspace.has_key(c) - if mode == self.KERNEL and user: - results.append(" S_(0, 0, 0)\n") - else: + if not (mode == self.KERNEL and user): results.append(" S_(SECCLASS_%s, %s, %s)\n" % (c.upper(), i, self.createUL(count))) return results