K 10 svn:author V 5 brian K 8 svn:date V 27 1999-06-09T08:47:36.000000Z K 7 svn:log V 108 Use the correct pid when substituting PROCESSID. Problem reported by: Amedeo Beck Peccoz END