diff options
Diffstat (limited to 'tool/lib/envutil.rb')
| -rw-r--r-- | tool/lib/envutil.rb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tool/lib/envutil.rb b/tool/lib/envutil.rb index 101ea350c6..d02329d4f1 100644 --- a/tool/lib/envutil.rb +++ b/tool/lib/envutil.rb @@ -158,10 +158,12 @@ module EnvUtil pgroup = pid end + dumped = false while signal = signals.shift - if (dbg = Debugger.search) and [:ABRT, :KILL].include?(signal) - dbg.dump(pid) + if !dumped and [:ABRT, :KILL].include?(signal) + Debugger.search&.dump(pid) + dumped = true end begin |