K 10 svn:author V 7 roberto K 8 svn:date V 27 2001-08-30T08:45:13.000000Z K 7 svn:log V 92 Fix the generation of the pid file. PR: 30188 Submitted by: Rémy Card END