ray/thirdparty at fb8e3615d59067679fba9daa6840fff3a2d46bbc - hiro/ray

hiro/ray

mirror of https://github.com/vale981/ray synced 2025-03-05 18:11:42 -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