diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-03-15 14:07:04 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-03-15 14:07:04 -0700 |
| commit | be1631232551386af02b424eb40d236215696e4a (patch) | |
| tree | cd61496f94065e20f9ae92f5850a54f458bc6ffa /tools | |
| parent | 38b121aff6b48f724023d837fd164836c3f7fb69 (diff) | |
add file preloading in browsers
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 7570473c..6a63d4ec 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -226,7 +226,7 @@ def check_engine(engine): print 'Checking JS engine %s failed. Check %s. Details: %s' % (str(engine), EM_CONFIG, str(e)) return False -def timeout_run(proc, timeout, note): +def timeout_run(proc, timeout, note='unnamed process'): start = time.time() if timeout is not None: while time.time() - start < timeout and proc.poll() is None: |