generate_microRTPS_bridge: fix fastrtpsgen version check handler

2026-10-03 15:28:53 +08:00 · 2019-10-14 21:23:27 +01:00
parent c51475640e
commit f91770f9cd
1 changed files with 3 additions and 2 deletions
@@ -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(