]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5db2958) | patch
- added sigpipe handling to avoid processes get killed by unhandled
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:10:46 +0000 (22:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:10:46 +0000 (22:10 +0000)
commitfbb9d44a670105e912d5cd6aff40dcffbb983ad3
tree04c29f817cd1753afc42ba6422d126f6ef4af84etree | snapshot
parent5db29580b497be5d9a53cc0848200656dc87b071commit | diff
- added sigpipe handling to avoid processes get killed by unhandled
  SIGPIPE
- cosmetic changes
helm/DEVEL/ocaml-http/http_tcp_server.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.