summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcinap_lenrek <cinap_lenrek@gmx.de>2012-05-08 12:39:30 +0200
committercinap_lenrek <cinap_lenrek@gmx.de>2012-05-08 12:39:30 +0200
commit4eb1ba4583afaefc502c408068fb71fe05063eca (patch)
tree0a3dbdc71e5a670710079281b2be04f706a1a026
parent8791baf8b3a34e8bace2f6242153fbdf2812765c (diff)
downloadplan9front-4eb1ba4583afaefc502c408068fb71fe05063eca.tar.xz
play: boost priority
-rwxr-xr-xrc/bin/play3
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