more info for startup timings

1 files changed, 4 insertions, 2 deletions

diff --git a/launch.py b/launch.py
index d46e9e27..e4c2ce99 100644
--- a/launch.py
+++ b/launch.py
@@ -25,9 +25,11 @@ start = launch_utils.start
 

 

 def main():

+    launch_utils.startup_timer.record("initial startup")

 

-    if not args.skip_prepare_environment:

-        prepare_environment()

+    with launch_utils.startup_timer.subcategory("prepare environment"):

+        if not args.skip_prepare_environment:

+            prepare_environment()

 

     if args.test_server:

         configure_for_tests()