ray/thirdparty at 341ddd0a0909fcc755e3474427dda0b590fb19dd - hiro/ray

hiro/ray

mirror of https://github.com/vale981/ray synced 2025-03-06 10:31:39 -05:00

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

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