Searched refs:kill_process (Results 1 – 4 of 4) sorted by relevance
29 defer kill_process "$monitor_pid"72 defer kill_process "$monitor_pid"
520 kill_process() function
693 kill_process %%740 kill_process %%2423 kill_process %%2481 kill_process %%
1578 kill_process "$pid"1809 defer kill_process "$pid"