From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <7ab6d705aaa201077b03f2e697edc743@quintile.net>
From: "Steve Simon" <steve@quintile.net>
Date: Thu, 15 Sep 2005 13:03:43 +0100
To: 9fans@cse.psu.edu
Subject: Re: [9fans] killing processes
In-Reply-To: <Pine.GSO.4.61.0509150745480.16673@cps210.cps.cmich.edu.>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 88499d30-ead0-11e9-9d60-3106f5b1d025

If you are running as hostowner you can use Kill (capital K) which
chmods the file first:

chmod 666 /proc/868/ctl;echo kill > /proc/868/ctl

This will not work for factotum as it marks itself as private,
[perhaps this is a bug - private need not chmod of ctl is impossible?]

Its not much of an issue as if you kill the users rio
then their factotum will lose its stdin and exit anyway.

-Steve