Repository navigation
Bug fix: output captured before a stream reached end of file is now kept. Previously, if end of file arrived after the drain grace period (for example on a slow machine after the process group was killed), already captured output was discarded. The timeout and output-limit behaviors are now tested separately.