From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu, 15 Sep 2005 21:09:33 +0100
From: Uriel <uriell@binarydream.org>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] killing processes
Message-ID: <20050915200933.GA10226@server4.lensbuddy.com>
References: <5d41262aaeccfef7ae87146bc2850567@lsub.org>
	<Pine.GSO.4.61.0509151330400.16941@cps210.cps.cmich.edu.>
	<Pine.GSO.4.61.0509151553540.17256@cps210.cps.cmich.edu.>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <Pine.GSO.4.61.0509151553540.17256@cps210.cps.cmich.edu.>
User-Agent: Mutt/1.5.9i
Topicbox-Message-UUID: 8abca10c-ead0-11e9-9d60-3106f5b1d025

I think you are confused:

% cat /bin/Kill
#!/bin/rc
for(i){
        ps | sed -n '/ '^$i^'$/s%^[^ ]* *([^ ]*).*%chmod 666 /proc/\1/ctl;echo kill > /proc/\1/ctl%p'
}

On Thu, Sep 15, 2005 at 03:55:10PM -0400, ISHWAR RATTAN wrote:
> I forgot mention that
>   echo Kill > /proc/pid/note
> 
> does not help. I will have to set up a time for
> reboot of cpu-server.
> 
> -ishwar
> 
> On Thu, 15 Sep 2005, ISHWAR RATTAN wrote:
> 
> >I have only two boxen:
> > - auth-server
> > - cpu-server
> >
> >and drawterm is used to login into cpu-server
> >
> >-ishwar
> >
> >On Thu, 15 Sep 2005, Fco. J. Ballesteros wrote:
> >
> >>We forbid them to cpu into a cpu server.
> >>They run their own diskless terminals, which they reboot
> >>when they are done.  You might do the same.
> >>
> >>:  Students leave around running processes on the
> >>:  system. Is there a way to kill these?
> >>:    echo kill > /proc/868/note
> >>:  says permission denied (which makes sense as
> >>:  I am trying to kill them logged as bootes).
> >>
> >