diff options
author | max99x <max99x@gmail.com> | 2011-07-08 07:38:42 +0300 |
---|---|---|
committer | max99x <max99x@gmail.com> | 2011-07-08 07:38:42 +0300 |
commit | cfbdf063100f6c7c8405f582d03034d6d791f642 (patch) | |
tree | 7a3e3e7c6a1dadc4460cf46fba0ecf130ef9a8cf | |
parent | 631e2dc9a40f6405d584b3f97121cfa511f8e9c4 (diff) |
Moved cleanup into a `finally` block.
-rwxr-xr-x | emscripten.py | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/emscripten.py b/emscripten.py index 4582a4e2..fc0f63cc 100755 --- a/emscripten.py +++ b/emscripten.py @@ -163,10 +163,6 @@ def main(args): # Compile the assembly to Javascript. emscript(args.infile, json.dumps(settings), args.outfile) - # Clean up temporary files. - for filename in TEMP_FILES_TO_CLEAN: - os.unlink(filename) - if __name__ == '__main__': parser = argparse.ArgumentParser( @@ -192,4 +188,10 @@ if __name__ == '__main__': nargs=argparse.ZERO_OR_MORE, metavar='FOO=BAR', help='Overrides for settings defined in settings.js.') - main(parser.parse_args()) + + try: + main(parser.parse_args()) + finally: + # Clean up temporary files. + for filename in TEMP_FILES_TO_CLEAN: + os.unlink(filename) |