diff options
Diffstat (limited to 'rc/bin/dontkill')
| -rwxr-xr-x | rc/bin/dontkill | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rc/bin/dontkill b/rc/bin/dontkill index a471aadb8..3dc79b940 100755 --- a/rc/bin/dontkill +++ b/rc/bin/dontkill @@ -7,4 +7,5 @@ if (! ~ $#* 1) { } # see /sys/src/9/port/proc.c:/^killbig pids=`{psu | awk '$NF ~ /'$1'/ {print $2}'} -~ $#pids 0 || for(p in /proc/^$pids^/ctl){chmod +w $p; echo noswap >$p; chmod -w $p} +~ $#pids 0 || {for(p in /proc/^$pids^/ctl){chmod +w $p; echo noswap >$p; chmod -w $p}} >/dev/null >[2=1] + |