diff options
| author | Michael Bebenita <mbebenita@mozilla.com> | 2010-08-17 23:47:11 -0700 |
|---|---|---|
| committer | Michael Bebenita <mbebenita@mozilla.com> | 2010-08-17 23:49:57 -0700 |
| commit | a4b8c74f9f6e41f40b30cf4ef49ea42a2cee9b4f (patch) | |
| tree | 049269b2a2fd77d754e39d0eeeda1f26e8dc121b /src/rt/rust_dom.h | |
| parent | 2c1ec6771bd09266308686ab13ca32e2aa73da49 (diff) | |
Added simple deadlock detection in the scheduler.
Diffstat (limited to 'src/rt/rust_dom.h')
| -rw-r--r-- | src/rt/rust_dom.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust_dom.h b/src/rt/rust_dom.h index d2b6e57033b..34d8c69462f 100644 --- a/src/rt/rust_dom.h +++ b/src/rt/rust_dom.h @@ -88,6 +88,7 @@ struct rust_dom void reap_dead_tasks(); rust_task *schedule_task(); + bool is_deadlocked(); int start_main_loop(); void log_state(); |