prequeue: less wasteful stdout rerouting

This commit is contained in:
yenatch 2013-12-07 19:58:30 -05:00
parent 120ba96649
commit 23268279f2
2 changed files with 11 additions and 6 deletions

View file

@ -279,7 +279,9 @@ def setup_processor():
def main():
processor = setup_processor()
processor.preprocess()
output = processor.preprocess()
processor.update_globals()
return output
if __name__ == '__main__':
main()

View file

@ -13,17 +13,20 @@ import preprocessor
def main():
processor = preprocessor.setup_processor()
for source in sys.argv[1:]:
dest = os.path.splitext(source)[0] + '.tx'
stdin = sys.stdin
stdout = sys.stdout
for source in sys.argv[1:]:
dest = os.path.splitext(source)[0] + '.tx'
sys.stdin = open(source, 'r')
sys.stdout = open(dest, 'w')
processor.preprocess()
processor.update_globals()
sys.stdin = stdin
sys.stdout = stdout
if __name__ == '__main__':
main()