IRC channel logs


back to list of logs

***Server sets mode: +nt
***kreyren_ is now known as kreyren
***bpsecret- is now known as bpsecret
***pavlushka_ is now known as pavlushka
***janneke_ is now known as janneke
***Emulatorman___ is now known as Emulatorman
***justan0theruser is now known as justanotheruser
<janneke>hmm, it seems that as a user: kill -KILL -1 gives EPERM?
<janneke>hmm, running rpctrace gives
<janneke> 89<--95(pid6673)->proc_getpgrppids_request (1) = 0 5292
<janneke>task80(pid6673)->gsync_wake (194556 0 0);
<janneke>task80(pid6673)->gsync_wake (194556 0 0);
<janneke> 89<--95(pid6673)->proc_pid2task_request (5292) = 0x40000001 (Operation not permitted)
<janneke>so it looks like getpgrppids is not permitted?
<janneke>the guix-daemon uses kill -1 to clean builder processes...
<janneke>ah, it's probably pid2task that's giving EPERM
<janneke>there's a bug for PID-=1 in sysdeps/mach/hurd/kill.c
<janneke>more tomorrow
*janneke ->zZzz