changeset 1745:5ca3caefcf98

core (params): removed unused values
author Goffi <goffi@goffi.org>
date Tue, 15 Dec 2015 16:25:37 +0100
parents 9a48e09044eb
children 0dfabe746ec4
files src/memory/params.py
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/memory/params.py	Tue Dec 15 16:25:19 2015 +0100
+++ b/src/memory/params.py	Tue Dec 15 16:25:37 2015 +0100
@@ -373,7 +373,6 @@
             elif node.getAttribute('type') == 'list':
                 assert not value_to_use  # only accept <option selected...> and not <param value...>
                 options = [option for option in node.childNodes if option.nodeName == 'option']
-                values = [option.getAttribute('value') for option in options]
                 selected = [option for option in options if option.getAttribute('selected') == 'true']
                 cat, param = node.parentNode.getAttribute('name'), node.getAttribute('name')
                 if len(selected) == 1: