Re: [PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Joel Fernandes
On Thu, Nov 01, 2018 at 04:33:53AM +1100, Aleksa Sarai wrote: > On 2018-10-31, Joel Fernandes wrote: > > I suggest to maintainers we take this in as an intermediate solution > > since we don't have anything close to it and this is a real issue, and > > the fix proposed is simple. > > I would

Re: [PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Joel Fernandes
On Thu, Nov 01, 2018 at 04:33:53AM +1100, Aleksa Sarai wrote: > On 2018-10-31, Joel Fernandes wrote: > > I suggest to maintainers we take this in as an intermediate solution > > since we don't have anything close to it and this is a real issue, and > > the fix proposed is simple. > > I would

Re: [PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Aleksa Sarai
On 2018-10-31, Joel Fernandes wrote: > I suggest to maintainers we take this in as an intermediate solution > since we don't have anything close to it and this is a real issue, and > the fix proposed is simple. I would suggest we wait until after LPC to see what Christian's design is (given

Re: [PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Aleksa Sarai
On 2018-10-31, Joel Fernandes wrote: > I suggest to maintainers we take this in as an intermediate solution > since we don't have anything close to it and this is a real issue, and > the fix proposed is simple. I would suggest we wait until after LPC to see what Christian's design is (given

Re: [PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Joel Fernandes
On Wed, Oct 31, 2018 at 02:37:44PM +, Daniel Colascione wrote: > Add a simple proc-based kill interface. To use /proc/pid/kill, just > write the signal number in base-10 ASCII to the kill file of the > process to be killed: for example, 'echo 9 > /proc/$$/kill'. > > Semantically,

Re: [PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Joel Fernandes
On Wed, Oct 31, 2018 at 02:37:44PM +, Daniel Colascione wrote: > Add a simple proc-based kill interface. To use /proc/pid/kill, just > write the signal number in base-10 ASCII to the kill file of the > process to be killed: for example, 'echo 9 > /proc/$$/kill'. > > Semantically,

[PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Daniel Colascione
Add a simple proc-based kill interface. To use /proc/pid/kill, just write the signal number in base-10 ASCII to the kill file of the process to be killed: for example, 'echo 9 > /proc/$$/kill'. Semantically, /proc/pid/kill works like kill(2), except that the process ID comes from the proc

[PATCH v2] Implement /proc/pid/kill

2018-10-31 Thread Daniel Colascione
Add a simple proc-based kill interface. To use /proc/pid/kill, just write the signal number in base-10 ASCII to the kill file of the process to be killed: for example, 'echo 9 > /proc/$$/kill'. Semantically, /proc/pid/kill works like kill(2), except that the process ID comes from the proc