Skip to content

Replace SIGALRM-based stopping with direct comparison against stop time. #5692

Replace SIGALRM-based stopping with direct comparison against stop time.

Replace SIGALRM-based stopping with direct comparison against stop time. #5692