From f88ef60ac01a2848b557b1e6b2e1e81006916783 Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Mar 30 2007 20:33:51 +0000
Subject: emit "null" instead of NULL for userspace headers


---

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: