X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Futils.js;h=a4ca9cc353e0c0458850f87761d6ee1352fae4fd;hb=d5b54e7fea59642c4389b035828ca21ebe199bbd;hp=bb018ad0edee4cd57d1485bbf06a3a2b912eee61;hpb=e841c23cb594b9918b8816ce38f0d4e8ee1e5ac8;p=helm.git

diff --git a/helm/on-line/javascript/utils.js b/helm/on-line/javascript/utils.js
index bb018ad0e..a4ca9cc35 100644
--- a/helm/on-line/javascript/utils.js
+++ b/helm/on-line/javascript/utils.js
@@ -1,3 +1,11 @@
+function dropBodySuffix(url)
+{ var length = url.length;
+  if (url.slice(length - 5, length) == '.body')
+   return (url.slice(0, length - 5));
+  else
+   return url;
+}
+
 function chopSlash(url)
 {
   return url.slice(0,url.lastIndexOf('/'));