diff options
author | cinap_lenrek <cinap_lenrek@gmx.de> | 2012-05-08 12:39:30 +0200 |
---|---|---|
committer | cinap_lenrek <cinap_lenrek@gmx.de> | 2012-05-08 12:39:30 +0200 |
commit | 4eb1ba4583afaefc502c408068fb71fe05063eca (patch) | |
tree | 0a3dbdc71e5a670710079281b2be04f706a1a026 | |
parent | 8791baf8b3a34e8bace2f6242153fbdf2812765c (diff) | |
download | plan9front-4eb1ba4583afaefc502c408068fb71fe05063eca.tar.xz |
play: boost priority
-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 |