Claudio Jeker wrote: > We don't believe in pid files. Use pgrep(1) and pkill(1) instead, you will > never have stale info that way.
Sweet! Use of pid files seemed like an anachronism anyway. pkill does what I wanted. Now I don't have to write an extra shell script. -Lars
