diff options
| -rwxr-xr-x | rc/bin/play | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rc/bin/play b/rc/bin/play index b3cd2833c..f7b8ce37b 100755 --- a/rc/bin/play +++ b/rc/bin/play @@ -75,6 +75,9 @@ while(~ $1 -*){ shift } +# boost priority +@{echo pri 13 >/proc/$pid/ctl} >/dev/null >[2=1] + >$out { if(~ $#* 0){play1; exit} for(i){echo $i} | play1 plain |