1 files changed, 7 insertions, 0 deletions
diff --git a/launch.py b/launch.py
index e4c2ce99..f83820d2 100644
--- a/launch.py
+++ b/launch.py
@@ -25,6 +25,13 @@ start = launch_utils.start
 
 
 def main():
+    if args.dump_sysinfo:
+        filename = launch_utils.dump_sysinfo()
+
+        print(f"Sysinfo saved as {filename}. Exiting...")
+
+        exit(0)
+
     launch_utils.startup_timer.record("initial startup")
 
     with launch_utils.startup_timer.subcategory("prepare environment"):