X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Flibrary%2Findex.html;fp=helm%2Fon-line%2Fhtml%2Flibrary%2Findex.html;h=62d4b63a73cf445eeeba3a52ecdbc5a17119bb49;hb=0066b57c9f2433fc153102ff2a387208e9cb3a70;hp=2c16dff396383a50201a767af170fd66ee446364;hpb=d1132a3652b678eeece55c9163f21091ec42ae84;p=helm.git

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') +