We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4905113 commit 22b50d9Copy full SHA for 22b50d9
1 file changed
manager/manager/manager.py
@@ -675,6 +675,7 @@ def terminate_harmonic_processes(self):
675
"""
676
Terminate all processes within the Docker container whose command line contains 'gz' or 'launch'.
677
678
+ LogManager.logger.info("Terminate Harmonic process")
679
keywords = ['gz', 'launch']
680
for keyword in keywords:
681
try:
@@ -734,6 +735,7 @@ def on_terminate_universe(self, event):
734
735
self.world_launcher.terminate()
736
if self.robot_launcher != None:
737
self.robot_launcher.terminate()
738
+ self.terminate_harmonic_processes()
739
740
def on_disconnect(self, event):
741
self.terminate_harmonic_processes()
0 commit comments