]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbb9d44) | patch
- ported to daemon_spec
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:11:55 +0000 (22:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:11:55 +0000 (22:11 +0000)
commit997a6f19427a16d4f5f44e818d086458256bff62
tree15d19319b16046b467c780ff1343ec213d5ac694tree | snapshot
parentfbb9d44a670105e912d5cd6aff40dcffbb983ad3commit | diff
- ported to daemon_spec
- used as example of exn_handler to avoid sigpipe kill processes
  holding mutexes
helm/DEVEL/ocaml-http/examples/threads.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.