diff --git a/tools/post_process_props.py b/tools/post_process_props.py index 83e1431ce0..01f9128af4 100755 --- a/tools/post_process_props.py +++ b/tools/post_process_props.py @@ -74,9 +74,8 @@ def main(argv): sys.stderr.write("bad command line: " + str(argv) + "\n") sys.exit(1) - f = open(filename) - #properties.write(f) - properties.write(sys.stdout) + f = open(filename, 'w+') + properties.write(f) f.close() if __name__ == "__main__":