Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

Method Pipe.pipe()->finish()


Method finish

void finish()

Description

Terminate and reinitialize the pipe.