From eec45e082f4261871bb6547a14511d2c722e3f59 Mon Sep 17 00:00:00 2001
From: Michael Denkowski <mdenkows@cs.cmu.edu>
Date: Tue, 3 Sep 2013 12:13:03 -0700
Subject: MIRA updates in realtime.py

---
 realtime/rt/util.py | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'realtime/rt/util.py')

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:
-- 
cgit v1.2.3