Searched refs:kill_process (Results 1 – 5 of 5) sorted by relevance
29 defer kill_process "$monitor_pid"72 defer kill_process "$monitor_pid"
56 defer kill_process "$monitor_pid"
555 kill_process() function
695 kill_process %%742 kill_process %%2553 kill_process %%2611 kill_process %%
1733 kill_process "$pid"1969 defer kill_process "$pid"