X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Futils.js;h=a4ca9cc353e0c0458850f87761d6ee1352fae4fd;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=bb018ad0edee4cd57d1485bbf06a3a2b912eee61;hpb=07012ae694021be859c780b2aa0bb85c47dd8c6c;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('/'));