diff options
Diffstat (limited to 'components/servo/lib.rs')
| -rw-r--r-- | components/servo/lib.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/components/servo/lib.rs b/components/servo/lib.rs index 69bba795d87..5c54f654881 100644 --- a/components/servo/lib.rs +++ b/components/servo/lib.rs @@ -1016,8 +1016,11 @@ pub fn run_content_process(token: String) { create_sandbox(); } - let background_hang_monitor_register = - unprivileged_content.register_with_background_hang_monitor(); + let background_hang_monitor_register = if opts::get().background_hang_monitor { + unprivileged_content.register_with_background_hang_monitor() + } else { + None + }; // send the required channels to the service worker manager let sw_senders = unprivileged_content.swmanager_senders(); |