###############################################################

[helm.git] / helm / on-line / html / library / control.html

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 72c13b65f63bc4ab03de914953b392b58e830eee..50016dcea48208e5654cbcd8dd9c97f724b282d0 100644 (file)
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -50,23 +50,18 @@
     </td>
     <td>
      <script>
+      var processorURL = '<subst:processorURL/>';
+      var interfaceURL = '<subst:interfaceURL/>';
+      var profile = '<subst:profile/>';
 <![CDATA[
-       document.write('<a target="_top" href="' +
-         getParam2('topurl') + '/html/library/index.html' +
-        '" onClick="refreshReload()">Reload</a>');
+       document.write('<a target="_top" href="" ' +
+        'onClick="refreshReload(profile,processorURL,interfaceURL)">Reload</a>');
 ]]>
      </script>
      <br />
      (do it also before attempting to take a link to the current page)
      <script>
 <![CDATA[
-       top.processorURL = getParam2('processorURL');
-       top.getterURL = getParam2('getterURL');
-       top.proofcheckerURL = getParam2('proofcheckerURL');
-       top.draw_graphURL = getParam2('draw_graphURL');
-       top.uri_set_queueURL = getParam2('uri_set_queueURL');
-       top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
-       top.topurl = getParam2('topurl');
        top.mode = getParam2('mode');
        top.cicuri = getParam2('cicuri');
        top.theoryuri = getParam2('theoryuri');
@@ -98,7 +93,7 @@
      <script>
 <![CDATA[
        document.write('<a target="_top" href=""' +
-        ' onClick="refreshReload()">Configuration Panel</a>');
+        ' onClick="refreshReload(profile,processorURL,interfaceURL)">Configuration Panel</a>');
 ]]>
      </script>
      <br />