mirror of
https://github.com/servo/servo.git
synced 2025-08-02 12:10:29 +01:00
Fix debugmozjs build #23074
This commit is contained in:
parent
64c848950c
commit
5d7f238794
1 changed files with 2 additions and 2 deletions
|
@ -685,11 +685,11 @@ unsafe fn set_gc_zeal_options(cx: *mut JSContext) {
|
||||||
use js::jsapi::{JS_SetGCZeal, JS_DEFAULT_ZEAL_FREQ};
|
use js::jsapi::{JS_SetGCZeal, JS_DEFAULT_ZEAL_FREQ};
|
||||||
|
|
||||||
let level = match pref!(js.mem.gc.zeal.level) {
|
let level = match pref!(js.mem.gc.zeal.level) {
|
||||||
Some(level @ 0...14) => level as u8,
|
level @ 0...14 => level as u8,
|
||||||
_ => return,
|
_ => return,
|
||||||
};
|
};
|
||||||
let frequency = match pref!(js.mem.gc.zeal.frequency) {
|
let frequency = match pref!(js.mem.gc.zeal.frequency) {
|
||||||
Some(frequency) if frequency >= 0 => frequency as u32,
|
frequency if frequency >= 0 => frequency as u32,
|
||||||
_ => JS_DEFAULT_ZEAL_FREQ,
|
_ => JS_DEFAULT_ZEAL_FREQ,
|
||||||
};
|
};
|
||||||
JS_SetGCZeal(cx, level, frequency);
|
JS_SetGCZeal(cx, level, frequency);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue