diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-10-28 15:39:46 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-10-28 15:39:46 -0700 |
| commit | e551f82b656c509e4e530ae5b0d37d0574580a42 (patch) | |
| tree | 12a8a70e71ed793e217cf5411a909478d09181ce /tools | |
| parent | f9beb918f66161220cdb0cc1976744d01c4e846e (diff) | |
default params for run_js
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 6367b41a..da74068b 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -73,7 +73,7 @@ def timeout_run(proc, timeout, note): raise Exception("Timed out: " + note) return proc.communicate()[0] -def run_js(engine, filename, args, check_timeout=False, stdout=PIPE, stderr=STDOUT, cwd=None): +def run_js(engine, filename, args=[], check_timeout=False, stdout=PIPE, stderr=STDOUT, cwd=None): return timeout_run(Popen(engine + [filename] + (['--'] if 'd8' in engine[0] else []) + args, stdout=stdout, stderr=stderr, cwd=cwd), 15*60 if check_timeout else None, 'Execution') |