From 6b89daa237f5251150debe2c57a649c504bfcc8a Mon Sep 17 00:00:00 2001 From: erling Date: Sat, 1 Feb 2025 01:05:32 +0100 Subject: [PATCH] Also handle SIGTERM gracefully (#2747) Signed-off-by: Erling Rennemo Jellum Signed-off-by: erlingrj Signed-off-by: erling Co-authored-by: Addisu Z. Taddese Co-authored-by: Ian Chen (cherry picked from commit 13bf5beacdfab28eef549ebdf1016da01f0b42e3) # Conflicts: # src/cmd/cmdgazebo.rb.in --- src/cmd/cmdgazebo.rb.in | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/src/cmd/cmdgazebo.rb.in b/src/cmd/cmdgazebo.rb.in index 07d36a7bb2..ee313ea088 100755 --- a/src/cmd/cmdgazebo.rb.in +++ b/src/cmd/cmdgazebo.rb.in @@ -504,9 +504,25 @@ See https://github.com/gazebosim/gz-sim/issues/168 for more info." options['wait_gui'], options['render_engine_gui']) end +<<<<<<< HEAD:src/cmd/cmdgazebo.rb.in Signal.trap("INT") { self.killProcess(guiPid, "Ignition Gazebo GUI", 5.0) self.killProcess(serverPid, "Ignition Gazebo Server", 5.0) +======= + # Handle SIGINT and SIGTERM signals + def handle_signal(guiPid, serverPid) + self.killProcess(guiPid, "Gazebo Sim GUI", 5.0) + self.killProcess(serverPid, "Gazebo Sim Server", 5.0) + end + + Signal.trap("INT") { + handle_signal(guiPid, serverPid) + return 1 + } + + Signal.trap("TERM") { + handle_signal(guiPid, serverPid) +>>>>>>> 13bf5bea (Also handle SIGTERM gracefully (#2747)):src/cmd/cmdsim.rb.in return 1 }