From f5314f43cc4bd4d70acfd71b7b066d83e0c74a04 Mon Sep 17 00:00:00 2001
From: David Hammer <dhammer@mailbox.org>
Date: Fri, 4 Nov 2022 11:28:14 +0100
Subject: [PATCH] Flipping the operator around
---
src/calng/CalibrationManager.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/calng/CalibrationManager.py b/src/calng/CalibrationManager.py
index a56ddfe1..873b3dae 100644
--- a/src/calng/CalibrationManager.py
+++ b/src/calng/CalibrationManager.py
@@ -1198,7 +1198,7 @@ class CalibrationManager(DeviceClientBase, Device):
all_req_servers = set(server_by_group.values()).union(
server_by_layer.values())
- if set(all_req_servers) < set(up_servers):
+ if set(all_req_servers) > set(up_servers):
return self._set_error('One or more device servers are not '
'listed in the device servers '
'configuration')
--
GitLab