Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
kernel: kill subprocess before closing pipe to it
Otherwise we see issues like this on Linux: gap> d := DirectoryCurrent();; gap> f := Filename(DirectoriesSystemPrograms(), "rev");; gap> s := InputOutputLocalProcess(d,f,[]);; gap> Sleep(1); gap> CloseStream(s); Print("\n"); rev: stdin
- Loading branch information