diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-22 16:22:16 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-22 16:22:16 -0700 |
| commit | a8e4801c7d38033fff760ea26a4579aa324e303e (patch) | |
| tree | 01c8c9862f7a6e1b60569aa9be97fd2751be8709 /src/utility.js | |
| parent | 669c786e3554b280e31dcb7bd92931482547dae0 (diff) | |
| parent | f99012f271c056ddc171f6a4ec011ad31ad936cd (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'src/utility.js')
| -rw-r--r-- | src/utility.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/utility.js b/src/utility.js index 19444675..b67e6c21 100644 --- a/src/utility.js +++ b/src/utility.js @@ -85,6 +85,13 @@ function warnOnce(a, msg) { } } +var abortExecution = false; + +function error(msg) { + abortExecution = true; + printErr('Error: ' + msg); +} + function dedup(items, ident) { var seen = {}; if (ident) { |