Closed fsimonis closed 2 years ago
This PR fixes an issue with boost::process::child::wait_for, which waits the full timeout if the process has already exited. The wrapper can easily reverted back once this issue is fixed in Boost.process.
boost::process::child::wait_for
Solves #1180
This PR fixes an issue with
boost::process::child::wait_for
, which waits the full timeout if the process has already exited. The wrapper can easily reverted back once this issue is fixed in Boost.process.Solves #1180