diff options
author | Jukka Jylänki <jujjyl@gmail.com> | 2013-04-11 10:39:31 +0300 |
---|---|---|
committer | Jukka Jylänki <jujjyl@gmail.com> | 2013-04-11 10:42:18 +0300 |
commit | 69c67542e76bcbc37563399eb3ab8716c6a37774 (patch) | |
tree | 39c5891a02caacb4b7bcd0a4a5b0ba099d1b86ba /tools/response_file.py | |
parent | 5351b86b0768813c4c18bb61494c43b07bc00372 (diff) |
Remove the unwanted abstraction that callee is allowed to autodelete a response file after consuming it. Instead, manually track and delete response files by the caller and clean them up.
Diffstat (limited to 'tools/response_file.py')
-rw-r--r-- | tools/response_file.py | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/tools/response_file.py b/tools/response_file.py index 29756833..312cda73 100644 --- a/tools/response_file.py +++ b/tools/response_file.py @@ -1,21 +1,19 @@ import tempfile, os, sys, shlex -from tempfiles import try_delete # Routes the given cmdline param list in args into a new response file and returns the filename to it. -# The response file has a suffix '.tmp' to signal that the process receiving the response file is free to delete it after it has consumed it. -# The returned filename has '@' prepended to it already for convenience. +# The returned filename has a suffix '.rsp'. def create_response_file(args, directory): - (response_fd, response_filename) = tempfile.mkstemp(prefix='emscripten_', suffix='.tmp', dir=directory, text=True) + (response_fd, response_filename) = tempfile.mkstemp(prefix='emscripten_', suffix='.rsp', dir=directory, text=True) response_fd = os.fdopen(response_fd, "w") #print >> sys.stderr, "Creating response file '%s'" % response_filename args = map(lambda p: p.replace(' ', '').replace('\\', '\\\\').replace('"', '\\"'), args) response_fd.write(' '.join(args)) response_fd.close() - return '@' + response_filename + return response_filename # Reads a response file, and returns the list of cmdline params found in the file. -# If the response file ends with .tmp, it is automatically deleted after reading it. -def read_and_delete_response_file(response_filename): +# The parameter response_filename may start with '@'. +def read_response_file(response_filename): if response_filename.startswith('@'): response_filename = response_filename[1:] @@ -26,9 +24,5 @@ def read_and_delete_response_file(response_filename): response_fd = open(response_filename, 'r') args = response_fd.read() response_fd.close() - # For conveniency, the receiver is allowed to immediately clean up response files ending with '.tmp' so that the - # caller doesn't have to do it. - if response_filename.endswith(".tmp"): - try_delete(response_filename) args = shlex.split(args) return args |