From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 30 May 2006 07:58:45 +0000 (+0000)
Subject: bugfix: when creating a daemon spec _use_ the auto_close value passed as argument... 
X-Git-Tag: 0.4.95@7852~1394
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6e4e1c55cb1d3d5f8ef6d607263647bf4e789458;p=helm.git

bugfix: when creating a daemon spec _use_ the auto_close value passed as argument instead of ignoring it
---

diff --git a/DEVEL/ocaml-http/http_daemon.ml b/DEVEL/ocaml-http/http_daemon.ml
index 2457c8a73..1b922ea16 100644
--- a/DEVEL/ocaml-http/http_daemon.ml
+++ b/DEVEL/ocaml-http/http_daemon.ml
@@ -454,6 +454,7 @@ let daemon_spec
   { default_spec with
       address = address;
       auth = auth;
+      auto_close = auto_close;
       callback = callback;
       mode = mode;
       port = port;