diff --git a/msg/tools/generate_microRTPS_bridge.py b/msg/tools/generate_microRTPS_bridge.py index 32da06e759..48cd6e56e6 100644 --- a/msg/tools/generate_microRTPS_bridge.py +++ b/msg/tools/generate_microRTPS_bridge.py @@ -251,9 +251,10 @@ if(os.path.exists(fastrtpsgen_path)): except OSError: raise - if fastrtpsgen_version_out.isdigit(): + try: fastrtpsgen_version = float(fastrtpsgen_version_out) - else: + except ValueError: + print("'fastrtpsgen -version' returned None. Hardsetting version to 1.0") fastrtpsgen_version = 1.0 else: raise Exception(