- fixed typo in Content-Encoding header name

- send Content-Encoding header before Content-Length header

diff --git a/helm/http_getter/http_getter_common.ml b/helm/http_getter/http_getter_common.ml
index fc3867128203363ee110e1c14ff0f67db6bd3ca4..12a2e2ea914f7fd4550eebb2ad4709a860eb2e75 100644 (file)
--- a/helm/http_getter/http_getter_common.ml
+++ b/helm/http_getter/http_getter_common.ml
@@ -1,5 +1,5 @@
 (*
- *  Copyright (C) 2000, HELM Team.
+ *  Copyright (C) 2003, HELM Team.
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -97,9 +97,9 @@ let return_xml_msg = mk_return_fun null_pp "text/xml"
 let return_file ~fname ?contype ?contenc ?(patch_fun = fun x -> x) outchan =
   let headers =
     match (contype, contenc) with
-    | (Some t, Some e) -> [ "Content-Type", t; "Content-Enconding", e ]
-    | (Some t, None) -> [ "Content-Type" , t ]
-    | (None, Some e) -> [ "Content-Enconding", e ]
+    | (Some t, Some e) -> ["Content-Encoding", e; "Content-Type", t]
+    | (Some t, None) -> ["Content-Type" , t]
+    | (None, Some e) -> ["Content-Encoding", e]
     | (None, None) -> []
   in
   Http_daemon.send_basic_headers ~code:200 outchan;