Ken Jones <kbo@xxxxxxxxxx> wrote: > To simplify killing different tcpservers, we wrote a patch to tcpserver > that lets you write a pid file. The new option is -w /path/to/pidfile. No need for a patch. sh -c 'echo $$ > pidfile; exec tcpserver ...' paul