[selinux-policy: 1705/3172] emit "null" instead of NULL for userspace headers

[Daniel J Walsh]

commit f88ef60ac01a2848b557b1e6b2e1e81006916783
Author: Chris PeBenito <cpebenito at tresys.com>
Date:   Fri Mar 30 20:33:51 2007 +0000

    emit "null" instead of NULL for userspace headers

 policy/flask/flask.py |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/policy/flask/flask.py b/policy/flask/flask.py
index b7e0178..35f77fa 100644
--- a/policy/flask/flask.py
+++ b/policy/flask/flask.py
@@ -370,7 +370,12 @@ class Flask:
 		results = []
 		results.append(self.autogen)
 		results.append("/*\n * Security object class definitions\n */\n")
-		results.append("    S_(NULL)\n")
+
+		if mode == self.KERNEL:
+			results.append("    S_(NULL)\n")
+		else:
+			results.append("    S_(\"null\")\n")
+
 		for c in self.classes:
 			user = self.userspace.has_key(c)
 			if mode == self.KERNEL and user: