Configuration on-line now pass the parameters

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 8450f3244bbd2c68f0c16d462b7bcbdfc3780640..7b8806e2b290241c0a25b7f078ed59bffcadd7c2 100644 (file)
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -80,7 +80,7 @@
         '&theoryuri=' + getParam('theoryuri') +
         '&processorURL=' + getParam('processorURL') +
         '&getterURL=' + getParam('getterURL') +
-        '">Configuration Panel</a>');
+        '" onClick="refreshReload()">Configuration Panel</a>');
      </script>
      <br>
     </td>