wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-08-08 11:25:28 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
4dd41844d0eb4ed8a49df78479484f0ed2e79b42
ray/thirdparty
T
History
mehrdadnandPhilipp Moritz 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