diff options
Diffstat (limited to 'javascript/duktape/duk_custom.h')
-rw-r--r-- | javascript/duktape/duk_custom.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/javascript/duktape/duk_custom.h b/javascript/duktape/duk_custom.h index 95a47ac04..1f98b7825 100644 --- a/javascript/duktape/duk_custom.h +++ b/javascript/duktape/duk_custom.h @@ -29,3 +29,9 @@ #endif #define DUK_USE_REGEXP_CANON_WORKAROUND + +/* Required for execution timeout checking */ +#define DUK_USE_INTERRUPT_COUNTER + +extern duk_bool_t dukky_check_timeout(void *udata); +#define DUK_USE_EXEC_TIMEOUT_CHECK dukky_check_timeout |