trunk: do not emit S_(0, 0, 0) in kernel headers for userspace classes that inherit commons.

2007-10-16 16:02:51 +00:00 · 2007-10-16 16:02:51 +00:00 · 3a9096d94f
parent 36627094e8
commit 3a9096d94f
1 changed files with 1 additions and 3 deletions
--- 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