]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/utils.js
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / on-line / javascript / utils.js
index bb018ad0edee4cd57d1485bbf06a3a2b912eee61..a4ca9cc353e0c0458850f87761d6ee1352fae4fd 100644 (file)
@@ -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('/'));