Lines Matching refs:signal_num
3560 my $signal_num = $cmdres & 127;3563 if(!$anyway && ($signal_num || $dumped_core)) {3568 $cmdres = (2000 + $signal_num) if($signal_num && !$cmdres);
