flask: Fix a problem in xend code when starting a guest with XSM/Flask enabled.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 8 Oct 2008 09:03:47 +0000 (10:03 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 8 Oct 2008 09:03:47 +0000 (10:03 +0100)
Signed-off-by: Stefan Berger <stefanb@us.ibm.com>
tools/python/xen/util/xsm/flask/flask.py

index fc168f8fdebd124fe6e842dee0e636cfb9281a6b..04dc3913c41b79878e8a0fd9bbd24c5c79a64cde 100644 (file)
@@ -35,7 +35,10 @@ def calc_dom_ssidref_from_info(info):
     return ssidref
 
 def set_security_label(policy, label):
-    return label
+    if label:
+        return label
+    else:
+        return ""
 
 def ssidref2security_label(ssidref):
     label = ssidref2label(ssidref)