In article <199705041321.PAA03128@abel.laas.fr>,
	Matthieu Herrb <matthieu@laas.fr> writes:
> 	the man page for mountd mentions the creation of
> 	/var/run/mountd.pid. Running mountd and examining the source
> 	shows that this is not the case.

Sorry, but what are you talking about?

tron@lyssa:~>strings /sbin/mountd | grep pid
/var/run/mountd.pid
tron@lyssa:~>cat /var/run/mountd.pid 
138
tron@lyssa:~>ps -aguwx | grep mountd
root       138  0.0  0.3   312  200 ??  Is    6:30PM    0:00.01 mountd 
tron       393  0.0  0.5   152  316 p1  S+    6:36PM    0:00.03 grep mountd 

-- 
Matthias Scheler                                http://home.pages.de/~tron/