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: make_still_working~7291
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c08d7e9acd73079615999a6a42314348743cfd7f;p=helm.git

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

diff --git a/helm/software/DEVEL/ocaml-http/http_daemon.ml b/helm/software/DEVEL/ocaml-http/http_daemon.ml
index 2457c8a73..1b922ea16 100644
--- a/helm/software/DEVEL/ocaml-http/http_daemon.ml
+++ b/helm/software/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;