1
0
Fork 0

Allow pre-initialization of cluster

This commit is contained in:
Andreas Streichardt 2016-08-24 16:01:51 +02:00
parent 79d7a5ed39
commit 7e8bc00747
1 changed files with 3 additions and 0 deletions

View File

@ -54,6 +54,9 @@ BASE=4001
NATH=$(( $NRDBSERVERS + $NRCOORDINATORS + $NRAGENTS ))
rm -rf cluster
if [ -d cluster-init ];then
cp -a cluster-init cluster
fi
mkdir -p cluster
echo Starting agency ...
for aid in `seq 0 $(( $NRAGENTS - 1 ))`; do