make-bf-timeout-more-robust.patch
text/x-diff
Filename: make-bf-timeout-more-robust.patch
Type: text/x-diff
Part: 0
Patch
Same data as JSON:
GET /api/v1/attachments/:id/patch
the parsed metadata as JSON — format, series position, per-file stats; never the diff bytes.
API reference →
Format: unified
| File | + | − |
|---|---|---|
| run_build.pl | 7 | 1 |
--- run_build.pl.orig 2025-11-25 07:47:25
+++ run_build.pl 2026-01-09 15:02:23
@@ -3415,7 +3415,13 @@ sub wait_timeout
$SIG{$sig} = 'DEFAULT';
}
$SIG{'TERM'} = \&silent_terminate;
- sleep($wait_time);
+ # loop to absorb any unexpected signals without dying early
+ my $end_time = time + $wait_time;
+ while (time < $end_time)
+ {
+ my $delay = $end_time - time;
+ sleep($delay);
+ }
print STDERR "Run timed out, terminating.\n";
my $sig = $usig[0] || 'TERM';
kill $sig, $main_pid;