Merge branch 'main' into chomp_port

moveit · Jul 27, 2023 · 7817d0f · 7817d0f
2 parents 6d8a75f + a7a1b89
commit 7817d0f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/how_to_guides/pilz_industrial_motion_planner/src/pilz_move_group.cpp b/doc/how_to_guides/pilz_industrial_motion_planner/src/pilz_move_group.cpp
@@ -178,6 +178,7 @@ int main(int argc, char* argv[])
   }
 
   // Shutdown ROS
+  spinner.join();
   rclcpp::shutdown();
   return 0;
 }