Home | History | Annotate | Download | only in Scripts

Lines Matching full:kill

1772     # There's no point in killing the dump tool when it's crashed. And it will kill itself when the
1774     kill 9, $dumpToolPID unless $didCrash || $webProcessCrashed;
1811             # We use kill instead of waitpid because ReportCrash is not one of our child processes.
1812             usleep(250000) while kill(0, $reportCrashPID) > 0;