diff options
| author | Liming Wang <walimisdev@gmail.com> | 2012-11-16 15:10:49 +0800 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2012-11-16 13:35:48 +0100 |
| commit | e94c4c9287392e9c4de5e9cc3a0fa40da959ccb5 (patch) | |
| tree | fe8ad3e713d9b8bab567d0e68b871fafb1dc1d40 /docs | |
| parent | 8f5a0fb1f4e3167b893e3a4272446e2cf1568058 (diff) | |
trace: Remove "info trace" from documents
commit 88affa1c monitor: remove unused do_info_trace
has removed "info trace" function from monitor, so remove it from documents.
Signed-off-by: Liming Wang <walimisdev@gmail.com>
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/tracing.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/docs/tracing.txt b/docs/tracing.txt index 79014093db..453cc4a63d 100644 --- a/docs/tracing.txt +++ b/docs/tracing.txt @@ -189,15 +189,6 @@ records the char* pointer value instead of the string that is pointed to. ==== Monitor commands ==== -* info trace - Display the contents of trace buffer. This command dumps the trace buffer - with simple formatting. For full pretty-printing, use the simpletrace.py - script on a binary trace file. - - The trace buffer is written into until full. The full trace buffer is - flushed and emptied. This means the 'info trace' will display few or no - entries if the buffer has just been flushed. - * trace-file on|off|flush|set <path> Enable/disable/flush the trace file or set the trace file name. |