diff options
-rwxr-xr-x | src/navigation/script/run | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/navigation/script/run b/src/navigation/script/run index 014c7ae..15b0165 100755 --- a/src/navigation/script/run +++ b/src/navigation/script/run @@ -112,7 +112,12 @@ trap "terminate" EXIT INT set -e if [ "$enhpos" = 1 ] then - REPLAYER_LOG_FILE=$SRC_DIR/positioning/provider/rest/geneve-cologny.gvsl run EnhancedPositionService $BIN_DIR/positioning/EnhancedPositionService/src/server/position-daemon + if [ -z "$REPLAYER_LOG_FILE" ] + then + REPLAYER_LOG_FILE=$SRC_DIR/positioning/provider/rest/geneve-cologny.gvsl + fi + export REPLAYER_LOG_FILE + run EnhancedPositionService $BIN_DIR/positioning/EnhancedPositionService/src/server/position-daemon fi cd $BIN_DIR/navit/navit >bookmark.txt |