-
Sidnei da Silva authored
- The ZEO server now records its PID to a file like the ZEO client. Defaults to /var/ZEO.pid, and its configurable in /etc/zeo.conf.
b4f66a21
- The ZEO server now records its PID to a file like the ZEO client. Defaults to /var/ZEO.pid, and its configurable in /etc/zeo.conf.