From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Jun 2001 10:37:59 +0000 (+0000)
Subject: top.topurl alias topurl alias interfaceURL alias thinterfaceURL is no
X-Git-Tag: v0_1_3~144
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0066b57c9f2433fc153102ff2a387208e9cb3a70;p=helm.git

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 f70dd94cc..bb7830888 100644
--- 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 2c16dff39..62d4b63a7 100644
--- 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 a36165f78..e40ea4210 100644
--- 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;