[ZODB-Dev] ZEO and pidfiles

[Alan Milligan]

Hi,

I've seen a posting on gmane suggesting that one must grop for a ZEO pid 
using zdctl.

Is this true?

There seems to be some code in ZEO.utils.Environment which suggests 
setting ZEO_SERVER_PID will write to that file.  This unfortunately 
doesn't work for me :(

I'd really like to see a pid file - even a stale one.  
/etc/rc.d/init.d/functions provides a range of useful functions to deal 
with these contingencies when writing a startup script.

TIA
Alan