diff --git a/scripts/s/sh b/scripts/s/sh index a509169..61721e9 100755 --- a/scripts/s/sh +++ b/scripts/s/sh @@ -190,7 +190,7 @@ if(~ $_picked 0) { S=$MOUNT/s/$id -fn sigintr { +fn sigint { if(is_idle) exit 0 echo stop > $S/ctl exec $0 -session $id