diff options
| author | Michael Denkowski <mdenkows@cs.cmu.edu> | 2013-09-03 12:13:03 -0700 |
|---|---|---|
| committer | Michael Denkowski <mdenkows@cs.cmu.edu> | 2013-09-03 12:13:03 -0700 |
| commit | eec45e082f4261871bb6547a14511d2c722e3f59 (patch) | |
| tree | dd6fe95e46d59e7f1b8cd0fd2a467dd825bee7c1 /realtime/rt/util.py | |
| parent | 7e8600d924f082c2d4b84e5d80993531e880c390 (diff) | |
MIRA updates in realtime.py
Diffstat (limited to 'realtime/rt/util.py')
| -rw-r--r-- | realtime/rt/util.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/realtime/rt/util.py b/realtime/rt/util.py index 7f877161..263e33fb 100644 --- a/realtime/rt/util.py +++ b/realtime/rt/util.py @@ -1,4 +1,5 @@ import subprocess +import sys import threading def popen_io(cmd): @@ -6,6 +7,11 @@ def popen_io(cmd): consume_stream(p.stderr) return p +def popen_io_v(cmd): + sys.stderr.write('{}\n'.format(' '.join(cmd))) + p = subprocess.Popen(cmd, stdin=subprocess.PIPE, stdout=subprocess.PIPE) + return p + def consume_stream(stream): def consume(s): for _ in s: |