Index: sky/tools/skydb |
diff --git a/sky/tools/skydb b/sky/tools/skydb |
index 38db95efa174e8343be35380fedb9d7d1c91abe5..abdbbd4094bb814663499a337dc614ccf9828681 100755 |
--- a/sky/tools/skydb |
+++ b/sky/tools/skydb |
@@ -387,6 +387,10 @@ class SkyDebugger(object): |
'reload the current page') |
self._add_basic_command(subparsers, 'inspect', '/inspect', |
'stop the running sky instance') |
+ self._add_basic_command(subparsers, 'start_profiling', '/start_profiling', |
+ 'starts profiling the running sky instance (Linux only)') |
+ self._add_basic_command(subparsers, 'stop_profiling', '/stop_profiling', |
+ 'stios profiling the running sky instance (Linux only)') |
load_parser = subparsers.add_parser('load', |
help='load a new page in the currently running sky') |