diff options
| author | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-26 14:39:44 +0200 |
|---|---|---|
| committer | Michael Schwarz <michi.schwarz@gmail.com> | 2015-10-02 00:25:49 +0200 |
| commit | 215ffeb9bbda413372d49bb9e6c958ec1de221d2 (patch) | |
| tree | 25606fd0db2d4d3c610ad143cebc597d8e05c83f | |
| parent | b74aa3b7ce691126216e659a06808905649dd37b (diff) | |
| download | pogojig-215ffeb9bbda413372d49bb9e6c958ec1de221d2.tar.gz pogojig-215ffeb9bbda413372d49bb9e6c958ec1de221d2.tar.bz2 pogojig-215ffeb9bbda413372d49bb9e6c958ec1de221d2.zip | |
Fixed asymptote export.
stdout was not being redirected into a pipe.
| -rw-r--r-- | support/lib/util.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/support/lib/util.py b/support/lib/util.py index 48bfd46..aea9835 100644 --- a/support/lib/util.py +++ b/support/lib/util.py @@ -66,8 +66,13 @@ def command_context(args, remove_env = [], set_env = { }, working_dir = None, us for k, v in set_env.items(): env[k] = v + if use_stderr: + stderr = subprocess.PIPE + else: + stderr = None + try: - process = subprocess.Popen(args, env = env, cwd = working_dir) + process = subprocess.Popen(args, env = env, cwd = working_dir, stderr = stderr) process.wait() except OSError as e: raise UserError('Error running {}: {}', args[0], e) |