From 4af7cefe3147a8332a96d44e396e4aa9ec8cd78d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 14 Mar 2001 16:17:08 +0000
Subject: [PATCH] Configuration on-line now pass the parameters

---
 helm/on-line/html/library/control.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 8450f3244..7b8806e2b 100644
--- 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>
-- 
2.39.2