diff options
Diffstat (limited to 'usr/glenda/bin/rc/pull')
| -rwxr-xr-x | usr/glenda/bin/rc/pull | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/usr/glenda/bin/rc/pull b/usr/glenda/bin/rc/pull deleted file mode 100755 index 42b5ecc27..000000000 --- a/usr/glenda/bin/rc/pull +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/rc - -rfork e -flags=() -while(! ~ $#* 0 && ~ $1 -*){ - if(~ $1 -c -s){ - flags=($flags $1) - shift - } - flags=($flags $1) - shift -} -if(test -f /srv/kfs.cmd) - disk/kfscmd allow -replica/pull -v $flags /dist/replica/network $* -if(test -f /srv/kfs.cmd) - disk/kfscmd disallow |