Re: kill and pid files

[mason@xxxxxxxxxxxxxxx (Geoff Wing)]

On 22 Jun 1997 04:49:10 +1000, Zoltan Hidvegi <hzoli@xxxxxxxxxxxxxxxxxxx> wrote:
:> > pid () {
:> >     setopt localoptions extendedglob
:> >     local i
:> >     for i
:> >     do
:> >         echo "${(M)${(M)${(f)$(ps acx)}:%* $i #}## #<->}"
:> >     done
:> > }
:> Yes but what if there are TWO processes running with the name 'foo'?

And what if they're shell scripts?  And what if this has nothing to do with
zsh.workers and should at most be in zsh.users?
-- 
Geoff Wing [mason@xxxxxxxxxxxxxxx]   Technical Manager
  Phone    : +61-3-9818 2977         PrimeNet - Internet Consultancy
  Facsimile: +61-3-9819 3788         Web : <URL:http://www.primenet.com.au/>
  Mobile   : 0412 162 441