188
188
<p>This is called when the port is closed, with
189
189
<c>port_close/1</c> or <c>Port ! {self(), close}</c>. Note
190
190
that terminating the port owner process also closes the
193
193
<tag><marker id="output"/>void (*output)(ErlDrvData drv_data, char *buf, int len)</tag>