Searched refs:writer_pid (Results 1 – 1 of 1) sorted by relevance
719 writer_pid=$!720 while kill -0 "$writer_pid" 2> /dev/null; do