mission: integrate dataman cache

This commit is contained in:
Igor Mišić
2023-07-24 13:10:31 +02:00
committed by Beat Küng
parent 6453a1c311
commit 80409672b1
4 changed files with 62 additions and 43 deletions
+2
View File
@@ -917,6 +917,8 @@ void Navigator::run()
publish_mission_result();
}
_mission.run();
perf_end(_loop_perf);
}
}