Updated prost planner with new build

gerardcanal · Jul 22, 2023 · e7407cc · e7407cc
1 parent 6390372
commit e7407cc
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/rosplan_planning_system/common/bin/prost/rddl-parser-release b/rosplan_planning_system/common/bin/prost/rddl-parser-release
diff --git a/rosplan_planning_system/common/bin/prost/run_prost.sh b/rosplan_planning_system/common/bin/prost/run_prost.sh
@@ -18,7 +18,7 @@ PLANNER_OUTPUT_FILE=$4
 WAIT_SERVER_TIME=0.5  # Seconds
 
 if [[ -z "$PLANNER_OUTPUT_FILE" ]]; then
-	PLANNER_OUTPUT_FILE=/dev/null
+	PLANNER_OUTPUT_FILE=/tmp/test.txt
 fi;
 
 ########################################################################################################################