***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> 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