K 10 svn:author V 3 pjd K 8 svn:date V 27 2007-02-02T23:58:10.000000Z K 7 svn:log V 144 Use pidfile(3) API to restart mountd(8) on success mount. This why we won't kill random process if there is a stale PID in /var/run/mountd.pid. END