clean up the stdout/stderr recording

This commit is contained in:
Brian Gough
2020-05-20 11:45:29 +01:00
parent 5ab45c1031
commit 54896fb157
2 changed files with 30 additions and 7 deletions

View File

@@ -217,11 +217,6 @@ module.exports = CompileManager = {
error = new Error('compilation')
error.validate = 'fail'
}
// make top-level output accesible to user, write in background for simplicity
if (output != null) {
fs.writeFile(Path.join(compileDir, "output.stdout"), output.stdout, () => { })
fs.writeFile(Path.join(compileDir, "output.stderr"), output.stderr, () => { })
}
// compile was killed by user, was a validation, or a compile which failed validation
if (
(error != null ? error.terminated : undefined) ||