# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1585299042 -3600
# Node ID 8770397f8f82ac4fdd21fd6492d63dd12be1edb5
# Parent  f3c99e96ac03433bfb577e8b54a12a0ed44795a2
tools (xl_tools): fixed handling of list options labels

diff -r f3c99e96ac03 -r 8770397f8f82 sat/tools/xml_tools.py
--- a/sat/tools/xml_tools.py	Mon Mar 23 17:53:29 2020 +0100
+++ b/sat/tools/xml_tools.py	Fri Mar 27 09:50:42 2020 +0100
@@ -471,7 +471,16 @@
     elems = param.getElementsByTagName("option")
     if len(elems) == 0:
         return []
-    options = [elem.getAttribute("value") for elem in elems]
+    options = []
+    for elem in elems:
+        value = elem.getAttribute("value")
+        if not value:
+            raise exceptions.InternalError("list option must have a value")
+        label = elem.getAttribute("label")
+        if label:
+            options.append((value, label))
+        else:
+            options.append(value)
     selected = [
         elem.getAttribute("value")
         for elem in elems