X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FstyleConfiguration.ml;h=ff85de71826f4071b51fe929b2d98e873600733b;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=753a808ea57e068a566116b5f3ccd7db42ca449b;hpb=dd2af791135cedf4e558ff8629ceca044a0d11d3;p=helm.git

diff --git a/helm/interface/styleConfiguration.ml b/helm/interface/styleConfiguration.ml
index 753a808ea..ff85de718 100644
--- a/helm/interface/styleConfiguration.ml
+++ b/helm/interface/styleConfiguration.ml
@@ -14,15 +14,11 @@ let filename =
   Sys.getenv "HELM_STYLECONFIGURATION_PATH"
  with
   Not_found ->
-   let tmp_filename = C.tmpdir ^ "/style-configuration.xml" in
-   if Sys.file_exists tmp_filename then tmp_filename
-   else begin
-    let styleconf = Getter.raw_get "getstyleconf" in
-    let out_channel = open_out tmp_filename in
-    output_string out_channel styleconf;
-    close_out out_channel;
-    tmp_filename 
-   end
+   let xml = "style-configuration.xml" in
+   let tmp_xml = Configuration.tmp_dir ^ "/" ^ xml in
+   let request_xml = Configuration.getter_url ^ "getstyleconf?uri=" ^ xml in
+   ClientHTTP.get_and_save request_xml tmp_xml ;
+   tmp_xml 
 
 exception Warnings;;
 
@@ -38,7 +34,7 @@ let xml_document () =
  let module Y = Pxp_yacc in
   try 
    let config = {Y.default_config with Y.warner = new warner} in
-    Y.parse_document_entity config (Y.from_file filename) Y.default_spec
+    Y.parse_document_entity config (PxpUriResolver.from_file filename) Y.default_spec
   with
    e ->
      print_endline (Pxp_types.string_of_exn e) ;
@@ -59,27 +55,41 @@ let _ =
           Pxp_document.T_element "style" ->
            let key =
 	    try
-	     n#attribute "key"
+	     match n#attribute "key" with
+	        Pxp_types.Value s -> s
+	      | _ -> raise Impossible
 	    with
 	     Not_found -> n#data
-           Hashtbl.add styles key n#data
+	   in
+            Hashtbl.add styles key n#data
         | Pxp_document.T_element "apply" ->
            let keys = List.map
             (function n ->
               match n#node_type with
-                 Pxp_document.T_element "style-ref" -> n#attribute "key"
+                 Pxp_document.T_element "style-ref" ->
+		  begin
+		   match n#attribute "key" with
+		      Pxp_types.Value s -> s
+		    | _ -> raise Impossible
+		  end
                | _ -> raise Impossible
             )
             n#sub_nodes
            in
-            Hashtbl.add applies (n#attribute "name") keys
+	    let apply_name =
+	     match n#attribute "name" with
+	        Pxp_types.Value s -> s
+	      | _ -> raise Impossible
+	    in Hashtbl.add applies apply_name keys
         | _ -> raise Impossible
   )
   ((xml_document ())#root#sub_nodes)
 ;;
 
 let style_of_key key =
- Hashtbl.lookup styles key
+ Hashtbl.find styles key
 
 let key_list_of_mode_name name =
- Hashtbl.lookup applies name
+ Hashtbl.find applies name
+;;
+