Support lists of ints for config

webservice/update_config.py

@@ -69,7 +69,7 @@ TIMEPIX_CONFIGURATIONS = {
 
 JUNGFRAU_CONFIGURATIONS = {
     'correct': {
-        'roi-definitions': {'type': list},
+        'roi-definitions': {'type': list, 'element_type': int},
     }
 }
 
@@ -202,7 +202,7 @@ def _add_available_configs_to_arg_parser(karabo_id: str, action: str):
                     "action": 'append',
                     "nargs": '+',
                 }
-                type_ = str
+                type_ = info.get('element_type', str)
                 # Avoid having a big line of choices in the help message.
                 if choices:
                     arguments.update({