From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 Dec 2002 10:49:24 +0000 (+0000)
Subject: - fixed typo in Content-Encoding header name
X-Git-Tag: v0_3_99~101
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=105e8197ea36bf4c3a1de2adb86d309dc45f5ccc

- 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 fc3867128..12a2e2ea9 100644
--- 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;