I'd just add a new API for the existing mechanism where the
RequestInterrupt()
call returns an id and the Clear call takes the ID. The old API can then be
implemented on top of this...
I think that's preferable over having two ways to achieve the same thing.
https://codereview.chromium.org/812583003/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
