top.topurl alias topurl alias interfaceURL alias thinterfaceURL is no

more "http://phd.cs.unibo.it/helm/library/index.html", but
only "http://phd.cs.unibo.it/helm"

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index f70dd94cc9397d6e5a51e71b33ad7ecfe9c1e5d3..bb7830888903a74577b41370b3f9eaf218dc9a14 100644 (file)
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -44,7 +44,7 @@
     <td>
      <script>
        document.write('<a target="_top" href="' +
-         getParam('topurl') +
+         getParam('topurl') + '/html/library/index.html' +
         '?mode=' + getParam('mode') +
         '&cicuri=' + getParam('cicuri') +
         '&theoryuri=' + getParam('theoryuri') +

diff --git a/helm/on-line/html/library/index.html b/helm/on-line/html/library/index.html
index 2c16dff396383a50201a767af170fd66ee446364..62d4b63a73cf445eeeba3a52ecdbc5a17119bb49 100644 (file)
--- a/helm/on-line/html/library/index.html
+++ b/helm/on-line/html/library/index.html
@@ -9,7 +9,7 @@
 <script>
   document.write('<frameset rows="18%,*" border="0" scrolling="no">');
   document.write('<frame src="control.html' +
-       '?topurl=' + location.protocol + "//" + location.host + location.pathname +
+       '?topurl=' + chopSlash(chopSlash(chopSlash(location.protocol + "//" + location.host + location.pathname))) +
        '&mode=' + getParam('mode') +
        '&cicuri=' + getParam('cicuri') +
        '&theoryuri=' + getParam('theoryuri') +

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index a36165f78cd16cdaa8c95a9de5880109f3af8a14..e40ea42106226596c5516ceef426df4a26a37595 100644 (file)
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -121,8 +121,8 @@ function makeURL(type,uri,cicflags,typesflags)
   var keys = "";
   var url = "";
 
-  var interfaceURL = chopSlash(chopSlash(top.topurl)) + "/cic/index.html";
-  var thinterfaceURL = chopSlash(chopSlash(top.topurl)) + "/theory/index.html";
+  var interfaceURL = top.topurl + "/html/cic/index.html";
+  var thinterfaceURL = top.topurl + "/html/theory/index.html";
 
   var output = mode_list[0];
   var format;