pipe-close-connection Function

Summary

Close the connection that a pipe-stream uses without closing the stream.

Package

system

Signature

pipe-close-connection stream

Arguments

stream⇩

A pipe stream.

Description

The function pipe-close-connection closes the connection underlying stream without closing the stream itself. This means that you cannot communicate with the child process anymore, but pipe-exit-status can still return the exit-status of the child process after a call to pipe-close-connection. This differs from close, which prevents pipe-exit-status from working on Microsoft Windows. You should still call close on stream when you have finished using it.

Notes

pipe-close-connection is useful when you need to send end-of-file to the child process, which causes the child process to exit, and then you want to obtain the exit status.

See also

open-pipe
pipe-exit-status