diff options
| author | Quentin Rasmont <qrasmont@gmail.com> | 2020-04-02 00:11:03 +0200 |
|---|---|---|
| committer | Quentin Rasmont <qrasmont@gmail.com> | 2020-04-04 11:01:33 +0200 |
| commit | 8b9390d68c1369520b4d212133e04a3db234f1cf (patch) | |
| tree | 9ba60e1a5764bd08343f290c97e05dba7149db41 | |
| parent | 516279e24f3d77e0050aeeed17ef24c9701edc1a (diff) | |
| download | servo-8b9390d68c1369520b4d212133e04a3db234f1cf.tar.gz servo-8b9390d68c1369520b4d212133e04a3db234f1cf.zip | |
Check the BHM option before starting it in multi-process mode.
| -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(); |