K 10 svn:author V 3 jmg K 8 svn:date V 27 1997-12-08T09:00:47.000000Z K 7 svn:log V 136 add process id to tmp files... this prevents two runs from stomping over each other's tmp files... (usr.bin/truss uncovered this bug) END