Closed Bug 1293801 Opened 6 years ago Closed 6 years ago
Add a JS
_Is Initialized() API
This is needed so that SpiderNode can support both being in charge of initializing SpiderMonkey and allowing its embedder to do that.
Attachment #8779533 - Flags: review?(sphink) → review+
Pushed by firstname.lastname@example.org: https://hg.mozilla.org/integration/mozilla-inbound/rev/aba98553c77f Add a JS_IsInitialized() API; r=sfink
You need to log in before you can comment on or make changes to this bug.