op 07-05-14 21:11, Grant Edwards schreef: > > Mainly, I'm just trying to figure out the right way to terminate the > server from an /etc/init script. > As far as I understand you have to make sure that your daemon is a proces group leader. All the children it will fork will then belong to its proces group. You can then normally kill all process with pkill -g ...
-- Antoon Pardon -- https://mail.python.org/mailman/listinfo/python-list
