aboutsummaryrefslogtreecommitdiff
path: root/lib/spawn.ml
AgeCommit message (Expand)Author
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-03-09Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)Enrico Tassi
2016-01-20Update copyright headers.Maxime Dénès
2015-12-17spawn: fix leak of file descriptorsEnrico Tassi
2015-10-08Spawn: use each socket exclusively for writing or readingEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-25Inlining Spawn.kill_if in the one place were it was actually used, thusPierre-Marie Pédrot
2014-12-17Spawn: fix request of Gc statisticsEnrico Tassi
2014-04-09Removing handshake from Spawn. It used marshalling, which is bad forPierre-Marie Pédrot
2014-01-30Relaunch all Unix.waitpid when they ended with EINTRPierre Letouzey
2014-01-26Spawn: managed processesEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:50:22 +0000