24 Jan
2019
24 Jan
'19
2:27 p.m.
My bug report's bug.sh script is broken. It needs "mpid=$!" before "sleep 0.5", and "wait $mpid" before "kill $pid".
--
Hallvard
2134
Age (days ago)
2134
Last active (days ago)
0 comments
1 participants
participants (1)
-
h.b.furuseth＠usit.uio.no