j
k
j a
j l
@@ -75,3 +75,6 @@ run_docker() run_qemu run_docker wait + +kill $(cat pid) +kill $(cat $CCI_SRC/providers/dc.pid)
You'd better use: kill -9 $pid or kill -KILL $pid if you want to kill a process. Thanks, Luan Shengde
-- 2.23.0
Back to the thread
Back to the list