wassname/ray
1
0 Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-10-01 12:31:37 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
c957ed58edfbfb9d9574e8ea1c73d12c1002d7c0
ray/thirdparty
T
History
mehrdadn fb8e3615d5 Use Boost.Process instead of pid_t (#6510) 
* Use Boost.Process instead of pid_t

This will let us handle child processes (mostly) uniformly across platforms.
TODO: There is no SIGTERM on Windows; achieving something equivalent is fairly involved.
2020-01-15 20:05:02 -08:00
..
patches
Use Boost.Process instead of pid_t (#6510)
2020-01-15 20:05:02 -08:00