diff options
| author | Michael Bebenita <[email protected]> | 2010-07-27 23:07:27 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-28 20:30:28 -0700 |
| commit | 712249d6b8f3c4f08514c5917effcbced0f0477a (patch) | |
| tree | 2103bd1fd26a8e0c39b9b899a1d4456803919c17 /src/rt/rust_log.h | |
| parent | array_list improvements. (diff) | |
| download | rust-712249d6b8f3c4f08514c5917effcbced0f0477a.tar.xz rust-712249d6b8f3c4f08514c5917effcbced0f0477a.zip | |
Log a separator when logging switches between threads.
Diffstat (limited to 'src/rt/rust_log.h')
| -rw-r--r-- | src/rt/rust_log.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rt/rust_log.h b/src/rt/rust_log.h index 06712066..e3acb93e 100644 --- a/src/rt/rust_log.h +++ b/src/rt/rust_log.h @@ -47,7 +47,7 @@ public: void indent(); void outdent(); void reset_indent(uint32_t indent); - void trace_ln(char *prefix, char *message); + void trace_ln(uint32_t thread_id, char *prefix, char *message); void trace_ln(rust_task *task, uint32_t type_bits, char *message); void trace_ln(rust_task *task, ansi_color color, uint32_t type_bits, char *message); bool is_tracing(uint32_t type_bits); |