Index: sky/tools/skydb |
diff --git a/sky/tools/skydb b/sky/tools/skydb |
index f8757f2557f430964e5dfc112f152ca042926d3c..8ef14abf07f43dc834d5250f5766eac699381c19 100755 |
--- a/sky/tools/skydb |
+++ b/sky/tools/skydb |
@@ -356,7 +356,9 @@ class SkyDebugger(object): |
file_name = args.file_name |
trace = self._send_command_to_sky('/stop_tracing').content |
with open(file_name, "wb") as trace_file: |
+ trace_file.write('{"traceEvents":[') |
trace_file.write(trace) |
+ trace_file.write(']}') |
print "Trace saved in %s" % file_name |
def stop_profiling_command(self, args): |