]> matita.cs.unibo.it Git - helm.git/commitdiff
bugfix: when creating a daemon spec _use_ the auto_close value passed as argument...
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 30 May 2006 07:58:45 +0000 (07:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 30 May 2006 07:58:45 +0000 (07:58 +0000)
helm/software/DEVEL/ocaml-http/http_daemon.ml

index 2457c8a7337587336cda7603e4086f7d7ea47a15..1b922ea16532947f902a7a00a7f44e8057efa3b8 100644 (file)
@@ -454,6 +454,7 @@ let daemon_spec
   { default_spec with
       address = address;
       auth = auth;
+      auto_close = auto_close;
       callback = callback;
       mode = mode;
       port = port;