From 7befbbf88764e076a5d92d3b9dd765262faab8b9 Mon Sep 17 00:00:00 2001 From: Richardvdketterij Date: Wed, 14 Feb 2024 17:03:26 +0100 Subject: [PATCH] don't use __del__, call it manually --- smach_ros/smach_ros/introspection.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/smach_ros/smach_ros/introspection.py b/smach_ros/smach_ros/introspection.py index 038d645..f1e9024 100644 --- a/smach_ros/smach_ros/introspection.py +++ b/smach_ros/smach_ros/introspection.py @@ -29,7 +29,7 @@ def __init__(self, node_name='introspection_client', **kwargs): self._spinner = threading.Thread(target=self._executor.spin) self._spinner.start() - def __del__(self): + def shutdown(self): self._executor.shutdown() self._spinner.join() @@ -282,7 +282,7 @@ def __init__(self, server_name, state, path): self._spinner = threading.Thread(target=self._executor.spin) self._spinner.start() - def __del__(self): + def shutdown(self): self._executor.shutdown() self._spinner.join()