From 7dc9aae5aa35a7dc522ab35c8d9de57629717088 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Thu, 3 Jan 2019 20:49:21 +0100
Subject: [PATCH] tools (xml_tools): isXMLUICancelled helper function to check
 if an XMLUI has been cancelled from raw XML.

---
 sat/tools/xml_tools.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/sat/tools/xml_tools.py b/sat/tools/xml_tools.py
index 01d87a55..5d48ed4a 100644
--- a/sat/tools/xml_tools.py
+++ b/sat/tools/xml_tools.py
@@ -327,6 +327,11 @@ def formEscape(name):
     return u"%s%s" % (SAT_FORM_PREFIX, name)
 
 
+def isXMLUICancelled(raw_xmlui):
+    """Tell if an XMLUI has been cancelled by checking raw XML"""
+    return C.bool(raw_xmlui.get(u'cancelled', C.BOOL_FALSE))
+
+
 def XMLUIResultToElt(xmlui_data):
     """Construct result domish.Element from XMLUI result.