diff options
Diffstat (limited to 'usr/glenda/bin/rc/pull')
| -rwxr-xr-x | usr/glenda/bin/rc/pull | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/usr/glenda/bin/rc/pull b/usr/glenda/bin/rc/pull new file mode 100755 index 000000000..42b5ecc27 --- /dev/null +++ b/usr/glenda/bin/rc/pull @@ -0,0 +1,17 @@ +#!/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 |