summaryrefslogtreecommitdiff
path: root/prequeue.py
diff options
context:
space:
mode:
authoryenatch <yenatch@gmail.com>2013-12-07 19:58:30 -0500
committeryenatch <yenatch@gmail.com>2013-12-07 20:02:49 -0500
commit23268279f2e36ead00de93724e5ac5d8dba6194f (patch)
tree3f2960a6c7726df9fea3652b6c3e2332deaa7ef7 /prequeue.py
parent120ba9664992cada4781e4d524304e4499e9083f (diff)
prequeue: less wasteful stdout rerouting
Diffstat (limited to 'prequeue.py')
-rw-r--r--prequeue.py13
1 files changed, 8 insertions, 5 deletions
diff --git a/prequeue.py b/prequeue.py
index 6ad16d2c..00bcee36 100644
--- a/prequeue.py
+++ b/prequeue.py
@@ -13,17 +13,20 @@ import preprocessor
def main():
processor = preprocessor.setup_processor()
+ stdin = sys.stdin
+ stdout = sys.stdout
+
for source in sys.argv[1:]:
dest = os.path.splitext(source)[0] + '.tx'
-
- stdout = sys.stdout
-
sys.stdin = open(source, 'r')
sys.stdout = open(dest, 'w')
-
processor.preprocess()
- sys.stdout = stdout
+ processor.update_globals()
+
+ sys.stdin = stdin
+ sys.stdout = stdout
+
if __name__ == '__main__':
main()