diff options
| author | alon@honor <none@none> | 2010-09-21 20:38:37 -0700 |
|---|---|---|
| committer | alon@honor <none@none> | 2010-09-21 20:38:37 -0700 |
| commit | 427206373413805fef3c56915fa6e1ac9dd93627 (patch) | |
| tree | 1c19679707ba330607b19806c60b099cd412fdbc /src/preamble.js | |
| parent | ab582256db454b3ccab074058941311845746f8b (diff) | |
fix some relooper bugs, and EXECUTION_TIMEOUT setting for debugging such problems
Diffstat (limited to 'src/preamble.js')
| -rw-r--r-- | src/preamble.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/preamble.js b/src/preamble.js index 8bab177f..9dfacca7 100644 --- a/src/preamble.js +++ b/src/preamble.js @@ -34,6 +34,10 @@ function __Z18UNPROTECT_HEAPADDRPv(dest) { INDENT = ''; #endif +#if EXECUTION_TIMEOUT +START_TIME = Date.now(); +#endif + function abort(text) { text = "ABORT: " + text; print(text + "\n"); |