From ea760c7ffd8e90f42c545c51332dc930a9d67382 Mon Sep 17 00:00:00 2001
From: Marko Mecina <marko.mecina@univie.ac.at>
Date: Tue, 6 Sep 2022 11:45:40 +0200
Subject: [PATCH] cast PID to int when obtained from MIB
---
Tst/tst/data_pool_tab.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Tst/tst/data_pool_tab.py b/Tst/tst/data_pool_tab.py
index 1cd6baf..20831c5 100644
--- a/Tst/tst/data_pool_tab.py
+++ b/Tst/tst/data_pool_tab.py
@@ -40,7 +40,7 @@ def reload_dp_data():
def get_data_pool_sublist():
for counter in list_of_data_pool:
- pcf_pid = str(counter[0])
+ pcf_pid = str(int(counter[0])) # cast PID to int in case data type is wrong in MIB SQL (e.g. in CHEOPS)
pcf_descr = str(counter[1])
pcf_ptc = counter[2]
pcf_pfc = counter[3]
--
GitLab