[r2005-03-06 16:53:49 by afrisch] Don't import already imported schema

Original author: afrisch
Date: 2005-03-06 16:53:49+00:00

schema/schema_parser.ml

@@ -198,6 +198,7 @@ let schema_of_uri uri =
   in
   let todo = ref [] in
 
+  let imported_ns = ref [] in
 
   let rec parse_uri uri =
     let root = node_of_uri uri in
@@ -623,7 +624,12 @@ let schema_of_uri uri =
 (* end of parse_root *)
 
     in
-    parse_root uri root;
+    if List.exists (Ns.equal targetNamespace) !imported_ns then
+      print_endline "(already imported)"
+    else (
+      imported_ns := targetNamespace :: !imported_ns;
+      parse_root uri root
+    );
     targetNamespace 
 
 (* end of parse_uri *)