From 2ba48d81b36f811dab7c75b0896f424fb5a9bf5b Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Fri, 1 Nov 2019 22:52:47 +0100
Subject: [PATCH] Fix variable for verifier name (maven replace the current
 {name} with the maven property "name")

---
 .../src/main/resources/META-INF/resources/config.html       | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dmnverifierfrontend/src/main/resources/META-INF/resources/config.html b/dmnverifierfrontend/src/main/resources/META-INF/resources/config.html
index 20593c9c..8b46f9b4 100644
--- a/dmnverifierfrontend/src/main/resources/META-INF/resources/config.html
+++ b/dmnverifierfrontend/src/main/resources/META-INF/resources/config.html
@@ -64,13 +64,13 @@
       success: function (verificationTypes) {
         let $ul = $(`<ul>`);
         $verificationConfig.append($ul);
-        for (const [name, value] of Object.entries(verificationTypes)) {
+        for (const [vName, value] of Object.entries(verificationTypes)) {
           let $li = $(`<li>`);
-          let $checkbox = $(`<input type="checkbox" data-verificationtypename="${name}"
+          let $checkbox = $(`<input type="checkbox" data-verificationtypename="${vName}"
                                     onchange="updateVerificationType(this)"/>`);
           $checkbox[0].checked = value;
           $li.append($checkbox);
-          $li.append($(`<label>${name}</label>`));
+          $li.append($(`<label>${vName}</label>`));
           $ul.append($li);
         }
       }
-- 
GitLab