Tree: cast set into NodeSet in _relaunch()

thiell · May 22, 2024 · f655de0 · f655de0
1 parent 4e7103c
commit f655de0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/ClusterShell/Worker/Tree.py b/lib/ClusterShell/Worker/Tree.py
@@ -393,7 +393,7 @@ def _relaunch(self, previous_gateway):
         previous_gateway must be defined. However, it is not guaranteed that
         the relaunch is going to be performed using gateways (that's a feature).
         """
-        targets = self.gwtargets[previous_gateway].copy()
+        targets = NodeSet.fromlist(self.gwtargets[previous_gateway])
         self.logger.debug("_relaunch on targets %s from previous_gateway %s",
                           targets, previous_gateway)