My bug report's bug.sh script is broken.  It needs
"mpid=$!"    before "sleep 0.5", and
"wait $mpid" before "kill $pid".

-- 
Hallvard



Reply via email to