thaljef/Pinto — pull request #71 by hesco (2013-05-09 14:34:54+00:00)
Title: Jeff: Have a working stop target for /etc/init.d/pintod.debian

This script now harvests the starman pid, stashes it at /var/run
and uses it to kill the master starman process (and its children)
when run with its stop target.