From 0066b57c9f2433fc153102ff2a387208e9cb3a70 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Jun 2001 10:37:59 +0000
Subject: [PATCH] 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"

---
 helm/on-line/html/library/control.html | 2 +-
 helm/on-line/html/library/index.html   | 2 +-
 helm/on-line/javascript/control.js     | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

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;
-- 
2.39.2