orchidmap-front/osrm/start_server.sh
2018-08-27 15:51:26 +07:00

11 lines
178 B
Bash

#!/bin/bash
IP="37.192.131.144"
PORT=5000
PATH="./pbf/"
REGION="siberian-fed-district-latest"
while :
do
osrm-routed -i $IP -p $PORT "$PATH/$REGION.osrm"
sleep 600
done