#!/usr/bin/env sh
cd $(dirname ${0})

mkdir workspace AGENT MAP LOG
git clone https://github.com/roborescue/rcrs-server.git roborescue
sed --in-place 's/apache-ant-\*\/bin\/ant .*"/gradlew completeBuild"/' \
    script/rrscluster

#!/usr/bin/env sh
cd $(dirname ${0})

mkdir workspace AGENT MAP LOG
git clone https://github.com/roborescue/rcrs-server.git roborescue
sed --in-place 's/apache-ant-\*\/bin\/ant .*"/gradlew completeBuild"/' \
    script/rrscluster
sed --in-place '/connect-time/s/^/#/' script/rrscluster

FIX for the bug the server cannot shut down on a map image generation
FIX for the bug the server cannot shut down on a map image generation
