| commit | df1a1816c13e6fcdf63a45c973f09f04af318073 | [log] [tgz] |
|---|---|---|
| author | José Fonseca <jose.r.fonseca@gmail.com> | Wed Mar 14 11:06:44 2012 +0000 |
| committer | José Fonseca <jose.r.fonseca@gmail.com> | Wed Mar 14 23:01:02 2012 +0000 |
| tree | 529b6fae4c3af23b8c62e63719fcad338ad0f7b2 | |
| parent | 1627e88c4397a6783e12daeb151ee073ee576139 [diff] [blame] |
Avoid weird named fifo race condition in tracediff.
diff --git a/scripts/tracediff.py b/scripts/tracediff.py index 7237da0..f4f86e3 100755 --- a/scripts/tracediff.py +++ b/scripts/tracediff.py
@@ -32,6 +32,7 @@ import subprocess import sys import tempfile +import time def stripdump(trace, fifo): @@ -60,6 +61,9 @@ universal_newlines = True, ) + # XXX: Avoid a weird race condition + time.sleep(0.01) + def diff(traces): fifodir = tempfile.mkdtemp()