Index: sky/tools/skydb |
diff --git a/sky/tools/skydb b/sky/tools/skydb |
index 5fee198566078a9cbf5c12120da37e3e2fa91d3b..c810c7df46f7a50e006e20878543308a653b4e99 100755 |
--- a/sky/tools/skydb |
+++ b/sky/tools/skydb |
@@ -54,6 +54,8 @@ class SkyDebugger(object): |
parser.add_argument('--use-osmesa', action='store_true', |
default=self._in_chromoting()) |
parser.add_argument('url_or_path', nargs='?', type=str) |
+ parser.add_argument('--show-command', action='store_true', |
+ help='Display the shell command and exit') |
configuration.add_arguments(parser) |
args = parser.parse_args() |
@@ -89,6 +91,15 @@ class SkyDebugger(object): |
subprocess.check_call(shell_command) |
else: |
subprocess.check_call(shell_command) |
+ if args.show_command: |
+ print " ".join(shell_command) |
+ else: |
+ subprocess.check_call(shell_command) |
+ |
+ def shutdown(self): |
eseidel
2015/01/08 19:30:29
This code looks unused?
hansmuller1
2015/01/08 21:31:14
It looks the result of a bad merge (mine). You rem
|
+ print "Quitting" |
+ if self._sky_server: |
+ self._sky_server.terminate() |
if __name__ == '__main__': |