Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ensure SpiderMonkey shuts down cleanly #24845

Closed
wants to merge 2 commits into from
+142 −18
Closed

Ensure SpiderMonkey shuts down cleanly #24845

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ead9860
Fix deprecated range.
jdm Nov 22, 2019
0510db0
script: Initialize and shut down JS engine on the same thread.
jdm Nov 23, 2019
File filter...
Filter file types
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Next

Fix deprecated range.

  • Loading branch information
@jdm
jdm committed Nov 22, 2019
commit ead98603d306d4d9bdc42c88b6e335baa1f5a344
2 components/script/script_runtime.rs
View file
Open in desktop
@@ -794,7 +794,7 @@ unsafe fn set_gc_zeal_options(cx: *mut RawJSContext) {
use js::jsapi::{JS_SetGCZeal, JS_DEFAULT_ZEAL_FREQ};

let level = match pref!(js.mem.gc.zeal.level) {
level @ 0...14 => level as u8,
level @ 0..=14 => level as u8,
_ => return,
};
let frequency = match pref!(js.mem.gc.zeal.frequency) {
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.