From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 26 Sep 2003 15:55:54 +0000 (+0000)
Subject: * the regular expressions must have $ otherwise the shortest match
X-Git-Tag: V_0_4_3_4~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6dc6f6e97cb85d5b51fbf5d14a9f87b24b2964cd;p=helm.git

* the regular expressions must have $ otherwise the shortest match
  will be found first and the annotations will never show up
---

diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index ac8b98305..366c233b4 100644
--- a/helm/http_getter/http_getter.ml
+++ b/helm/http_getter/http_getter.ml
@@ -152,13 +152,13 @@ let return_ls =
   in
   let basepart_RE =
     Pcre.regexp
-      "^([^.]*\\.[^.]*)((\\.body)|(\\.proof_tree)|(\\.types))?(\\.ann)?"
+      "^([^.]*\\.[^.]*)((\\.body)|(\\.proof_tree)|(\\.types))?(\\.ann)?$"
   in
   let (types_RE, types_ann_RE, body_RE, body_ann_RE,
        proof_tree_RE, proof_tree_ann_RE) =
-    (Pcre.regexp "\\.types", Pcre.regexp "\\.types\\.ann",
-     Pcre.regexp "\\.body", Pcre.regexp "\\.body.ann",
-     Pcre.regexp "\\.proof_tree", Pcre.regexp "\\.proof_tree\\.ann")
+    (Pcre.regexp "\\.types$", Pcre.regexp "\\.types\\.ann$",
+     Pcre.regexp "\\.body$", Pcre.regexp "\\.body\\.ann$",
+     Pcre.regexp "\\.proof_tree$", Pcre.regexp "\\.proof_tree\\.ann$")
   in
   let (slash_RE, til_slash_RE, no_slashes_RE) =
     (Pcre.regexp "/", Pcre.regexp "^.*/", Pcre.regexp "^[^/]*$")