Support disabling saving output streams

This commit is contained in:
Darko Poljak 2018-02-07 18:12:15 +01:00 committed by GitHub
commit a993e0f5a9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
19 changed files with 460 additions and 43 deletions

View file

@ -87,10 +87,12 @@ state
this type execution state ('done' when finished)
stderr
directory containing type's gencode-* and code-* stderr stream outputs
directory containing type's manifest, gencode-* and code-* stderr stream
outputs
stdin
this type stdin content
stdout
directory containing type's gencode-* and code-* stdout stream outputs.
directory containing type's manifest, gencode-* and code-* stdout stream
outputs.