finish

fun finish()

Ends the stream. The engine reads what is still in the pipe and then sees the end.