# HG changeset patch # User Keir Fraser # Date 1223456627 -3600 # Node ID 1f85f7b216b34bfda4911b6a46548478f0e5d682 # Parent d5bd0567b4587ed7a701caaa10646f26b7a42b64 flask: Fix a problem in xend code when starting a guest with XSM/Flask enabled. Signed-off-by: Stefan Berger diff -r d5bd0567b458 -r 1f85f7b216b3 tools/python/xen/util/xsm/flask/flask.py --- a/tools/python/xen/util/xsm/flask/flask.py Wed Oct 08 10:03:09 2008 +0100 +++ b/tools/python/xen/util/xsm/flask/flask.py Wed Oct 08 10:03:47 2008 +0100 @@ -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)