top.topurl alias topurl alias interfaceURL alias thinterfaceURL is no

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

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