| 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')
|
|
|