Also handle SIGTERM gracefully (backport #2747)#2757

Open

mergify[bot] wants to merge 1 commit intoign-gazebo6from mergify/bp/ign-gazebo6/pr-2747

+11-1

Commits on Feb 1, 2025

Also handle SIGTERM gracefully (#2747 )

committed